JS.Nullable

Definitions

data Nullable : Type -> Type

Totality: total
Visibility: export
Hints:

FromFFI a b => FromFFI (Maybe a) (Nullable b)

SafeCast a => SafeCast (Nullable a)

ToFFI a b => ToFFI (Maybe a) (Nullable b)

null : Nullable a

Totality: total
Visibility: export

nonNull : a -> Nullable a

Totality: total
Visibility: export

isNull : a -> Bool

  Tests, whether a value of questionable origin is null

Totality: total
Visibility: export

maybeToNullable : Maybe a -> Nullable a

Totality: total
Visibility: export

mayUp : {auto 0 {conArg:3672} : JSType a} -> Maybe a -> {auto 0 _ : Elem b (Types a)} -> Nullable b

Totality: total
Visibility: export

nullableToMaybe : Nullable a -> Maybe a

Totality: total
Visibility: export