Stellar.API.Maybe

Reexports

Definitions

Maybe : API -> API

Totality: total
Visibility: public export

map_Maybe : a =&> b -> Maybe a =&> Maybe b

Totality: total
Visibility: export

maybeAnyJoin : Maybe (Maybe a) =&> Maybe a

Totality: total
Visibility: export

nothing : a =&> Maybe b

Totality: total
Visibility: export

distribMaybe : Monad m => Lift m (Maybe a) =&> Maybe (Lift m a)

Totality: total
Visibility: public export

strength : (Maybe x // y) =&> Maybe (x // y)

Totality: total
Visibility: public export

Maybe : API -> API

Totality: total
Visibility: public export

distribMaybe : Monad m => Lift m (Maybe a) =&> Maybe (Lift m a)

Totality: total
Visibility: public export

map_Maybe : a =&> b -> Maybe a =&> Maybe b

Totality: total
Visibility: public export

AllToAnyTypes : (x : Maybe (a .message)) -> Any (a .response) x -> All (a .response) x

Totality: total
Visibility: public export

AnyToAll : Maybe a =&> Maybe a

Totality: total
Visibility: public export

maybeAllJoin : Maybe (Maybe a) =&> Maybe a

Totality: total
Visibility: export

maybeEnd : Maybe End =&> End

Totality: total
Visibility: export

kleisli : a =&> Maybe b -> b =&> Maybe c -> a =&> Maybe c

Totality: total
Visibility: export

AnyToAll : ((x : a .message) -> a .response x) -> a =&> Maybe b -> a =&> Maybe b

  Given a default output, we can convert from `Any.Maybe` to `All.Maybe`

Totality: total
Visibility: export