Control.Monad.Fail.Singletons

Defines the promoted and singled versions of the MonadFail type class.

Documentation

class PMonadFail (m :: k -> Type)

Associated Types

type Fail (arg :: [Char]) :: m a

Instances

PMonadFail Maybe

Defined in Control.Monad.Fail.Singletons

Associated Types

type Fail a2

Defined in Control.Monad.Fail.Singletons

type Fail a2

PMonadFail []

Defined in Control.Monad.Fail.Singletons

Associated Types

type Fail a2

Defined in Control.Monad.Fail.Singletons

type Fail a2

class SMonad m => SMonadFail (m :: Type -> Type) where

Methods

sFail :: forall a (t :: [Char]). Sing t -> Sing (Apply (FailSym0 :: TyFun [Char] (m a) -> Type) t)

Instances

SMonadFail Maybe

Defined in Control.Monad.Fail.Singletons

Methods

sFail :: forall a (t :: [Char]). Sing t -> Sing (Apply (FailSym0 :: TyFun [Char] (Maybe a) -> Type) t)

SMonadFail []

Defined in Control.Monad.Fail.Singletons

Methods

sFail :: forall a (t :: [Char]). Sing t -> Sing (Apply (FailSym0 :: TyFun [Char] [a] -> Type) t)

Defunctionalization symbols

data FailSym0 (a1 :: TyFun [Char] (m a))

Instances

SMonadFail m => SingI (FailSym0 :: TyFun [Char] (m a) -> Type)

Defined in Control.Monad.Fail.Singletons

Methods

sing :: Sing (FailSym0 :: TyFun [Char] (m a) -> Type)

SuppressUnusedWarnings (FailSym0 :: TyFun [Char] (m a) -> Type)

Defined in Control.Monad.Fail.Singletons

Methods

suppressUnusedWarnings :: ()

type Apply (FailSym0 :: TyFun [Char] (m a) -> Type) (a6989586621679549513 :: [Char])

Defined in Control.Monad.Fail.Singletons

type Apply (FailSym0 :: TyFun [Char] (m a) -> Type) (a6989586621679549513 :: [Char]) = Fail a6989586621679549513 :: m a

type family FailSym1 (a6989586621679549513 :: [Char]) :: m a where ...

Equations

FailSym1 a6989586621679549513 = Fail a6989586621679549513 :: m a