quick question about ANK let's say I have a seale...

# arrow

[stojan]

quick question about ANK

let's say I have a sealed class in a code snippet:

sealed class ValidationResult<out E, out A> {
    data class Valid<A>(val a: A) : ValidationResult<Nothing, A>()
    data class Invalid<E>(val e: E) : ValidationResult<E, Nothing>()
}

And I want to use `Valid`/`Invalid` without prefixing with ValidationResult. How can I do that...

I tried

import ValidationResult.Valid
import ValidationResult.Invalid

but it doesn't work....

Error I am getting is (when trying to use just `Valid`:

error: unresolved reference: Valid
            if (a is Valid && b is Valid) valid(f(a.a, b.a))

[stojan]

PS I know about Validated from arrow... I am doing poor mans validated first 😄

[Imran/Malic]

This works for me:

val b = {a: ValidationResult<*,*>, b: ValidationResult<*,*> ->  if (a is ValidationResult.Valid && b is ValidationResult.Valid) valid(f(a.a, b.a)) }

[Imran/Malic]

Whatever your valid function is

[stojan]

I would like to use Valid instead of ValidationResukt.Vali (fits better on slides)

I can do it in IDEA, but not in ANK

[stojan]

in IDEA I can do import <package>.ValidationResult.Valid

[stojan]

I could also use a shorter name.....

[raulraja]

there is something off with the way the evaluation of snippets works in script vs regular KtFiles related to scopes

[raulraja]

A workaround in this case may be to define those typealiases in the script itself hidden before the example code. Otherwise you may try moving the classes outside at the same level as ValidationResult

[stojan]

I will try the first workaround...

The second one I already tried.... but it complains it can't access <init> of ValidationResult..... i guess It treats it like it's not in the same file...

thanks @raulraja

[stojan]

typealias did the trick: BUILD SUCCESSFUL in 15s 🕺

thanks again

[stojan]

and how do I hide the typealiases? could not find that in the docs 😕

[raulraja]

it’s only possible in ank playgrounds

[raulraja]

since it colapses that with JS in the rendering

[raulraja]

if you are using simple ank rendering is not possible at the moment

[stojan]

just plain Ank.... but it's still better than using the long name....

do you have a sample with Ank Playground + Reveal JS that I could check? I believe Jorge used that for Kotliners but not sure if the source is shared publicly somewhere

[raulraja]

the playground has it’s own JS https://github.com/arrow-kt/arrow/blob/604ed538ba91f01da7096558b0dcb2114380db69/modules/docs/arrow-docs/docs/_includes/_js-bottom-docs.html#L4

[raulraja]

The arrow docs themselves are packed with examples of playgrounds

[raulraja]

Here is the docs https://github.com/arrow-kt/arrow-playground

[raulraja]

And instructions to embed it in any website. @paco is making changes to the server in these days though to accommodate multiple arrow versions.

[raulraja]

https://arrow-kt.github.io/arrow-playground/examples/