Chirashi

data VariantError :: Row Type -> Type

An instance of the VariantError class, a subclass of Error, which holds a variant for extracting error information.

mkVariantError :: forall r. Variant r -> Error

Create an Error using a Variant value

mkVariantError' :: forall r. Variant r -> VariantError r

Create a VariantError using a Variant value

upcastVariantError :: forall r. VariantError r -> Error

Upcast a VariantError to Error

readVariant :: forall r. MatchKey r => Error -> Maybe (Variant r)

Read a Variant from a Error

readVariantError :: forall r. MatchKey r => Error -> Maybe (VariantError r)

Read a VariantError from a Error

getVariant :: forall r. VariantError r -> Variant r

Get the Variant value out of a VariantError

_mkVariantError :: forall r a. a -> VariantError r

_readVariantError :: forall r b a. Fn4 (String -> Boolean) (Maybe b) (a -> Maybe a) Error (Maybe (VariantError r))

_getVariant :: forall r. VariantError r -> Variant r

class MatchKey (r :: Row Type)  where

Members

• matchKey :: RProxy r -> String -> Boolean

Instances

• (MatchKeyImpl rl, RowToList r rl) => MatchKey r

class MatchKeyImpl (rl :: RowList)  where

Members

• matchKeyImpl :: RLProxy rl -> String -> Boolean

Instances

• MatchKeyImpl Nil
• (MatchKeyImpl tail, IsSymbol name) => MatchKeyImpl (Cons name ty tail)