Data.Singletons.Prelude.Monad.Fail

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

Documentation

class PMonadFail (m :: Type -> Type)

Associated Types

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

Instances

PMonadFail []

Defined in Data.Singletons.Prelude.Monad.Fail

Associated Types

type Fail arg :: m a

PMonadFail Maybe

Defined in Data.Singletons.Prelude.Monad.Fail

Associated Types

type Fail arg :: m a

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

Methods

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

Instances

SMonadFail []

Defined in Data.Singletons.Prelude.Monad.Fail

Methods

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

SMonadFail Maybe

Defined in Data.Singletons.Prelude.Monad.Fail

Methods

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

Defunctionalization symbols

data FailSym0 :: forall m6989586621679738911 a6989586621679738912. (~>) [Char] (m6989586621679738911 a6989586621679738912)

Instances

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

Defined in Data.Singletons.Prelude.Monad.Fail

Methods

sing :: Sing FailSym0

SuppressUnusedWarnings (FailSym0 :: TyFun [Char] (m6989586621679738911 a6989586621679738912) -> Type)

Defined in Data.Singletons.Prelude.Monad.Fail

Methods

suppressUnusedWarnings :: ()

type Apply (FailSym0 :: TyFun [Char] (m6989586621679738911 a6989586621679738912) -> Type) (arg6989586621679738931 :: [Char])

Defined in Data.Singletons.Prelude.Monad.Fail

type Apply (FailSym0 :: TyFun [Char] (m6989586621679738911 a6989586621679738912) -> Type) (arg6989586621679738931 :: [Char]) = Fail arg6989586621679738931 :: m6989586621679738911 a6989586621679738912

type FailSym1 (arg6989586621679738931 :: [Char]) = Fail arg6989586621679738931