Bibimbap

data GenericSumError :: Type -> Type

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

mkGenericSumError :: forall a. GetTagName a => a -> Error

Create an Error using a GenericSum value

mkGenericSumError' :: forall a. GetTagName a => a -> GenericSumError a

Create a GenericSumError using a GenericSum value

upcastGenericSumError :: forall a. GenericSumError a -> Error

Upcast a GenericSumError to Error

readGenericSum :: forall a. MatchKey a => Error -> Maybe a

Read a GenericSum from a Error

readGenericSumError :: forall a. MatchKey a => Error -> Maybe (GenericSumError a)

Read a GenericSumError from a Error

getGenericSum :: forall a. GenericSumError a -> a

Get the GenericSum value out of a GenericSumError

_mkGenericSumError :: forall a. Fn2 String a (GenericSumError a)

_readGenericSumError :: forall b a. Fn4 (String -> Boolean) (Maybe b) (a -> Maybe a) Error (Maybe (GenericSumError a))

_getGenericSum :: forall a. GenericSumError a -> a

class GetTagName (a :: Type)  where

Members

• getTagName :: a -> String

Instances

• (GetTagNameImpl rep, Generic a rep) => GetTagName a

class GetTagNameImpl (rep :: Type)  where

Members

• getTagNameImpl :: rep -> String

Instances

• (GetTagNameImpl a, GetTagNameImpl b) => GetTagNameImpl (Sum a b)
• (IsSymbol name) => GetTagNameImpl (Constructor name a)

class MatchKey (a :: Type)  where

Members

• matchKey :: Proxy a -> String -> Boolean

Instances

• (MatchKeyImpl rep, Generic a rep) => MatchKey a

class MatchKeyImpl (rep :: Type)  where

Members

• matchKeyImpl :: Proxy rep -> String -> Boolean

Instances

• (MatchKeyImpl a, MatchKeyImpl b) => MatchKeyImpl (Sum a b)
• (IsSymbol name) => MatchKeyImpl (Constructor name ty)