Module

Ctl.Internal.FfiHelpers

#MaybeFfiHelper

type MaybeFfiHelper = { from :: forall (x :: Type). x -> Maybe x -> x, just :: forall (x :: Type). x -> Maybe x, nothing :: forall (x :: Type). Maybe x }

#ContainerHelper

#ErrorFfiHelper

type ErrorFfiHelper :: Row Type -> Typetype ErrorFfiHelper r = { error :: forall (x :: Type). String -> E r x, from :: forall (x :: Type). x -> E r x -> x, valid :: forall (x :: Type). x -> E r x }

#errorHelper

errorHelper :: forall v. (String -> Variant v) -> ErrorFfiHelper v

#partialToMaybe

partialToMaybe :: forall a. (Unit -> (Partial => a)) -> Maybe a

Modules