Control.Monad.Fail.Singletons

Contents

Description

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

Synopsis

class PMonadFail m where
- type Fail (arg :: [Char]) :: m a
class SMonad m => SMonadFail m where
- sFail :: forall a (t :: [Char]). Sing t -> Sing (Apply FailSym0 t :: m a)
data FailSym0 :: (~>) [Char] (m a)
type family FailSym1 (a6989586621679540843 :: [Char]) :: m a where ...

Documentation

Associated Types

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

Instances details

PMonadFail Maybe Source #
Instance details Defined in Control.Monad.Fail.Singletons Associated Types type Fail arg :: m a Source #
PMonadFail [] Source #
Instance details Defined in Control.Monad.Fail.Singletons Associated Types type Fail arg :: m a Source #

Methods

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

Instances details

SMonadFail Maybe Source #
Instance details Defined in Control.Monad.Fail.Singletons Methods sFail :: forall a (t :: [Char]). Sing t -> Sing (Apply FailSym0 t) Source #
SMonadFail [] Source #
Instance details Defined in Control.Monad.Fail.Singletons Methods sFail :: forall a (t :: [Char]). Sing t -> Sing (Apply FailSym0 t) Source #

Defunctionalization symbols

data FailSym0 :: (~>) [Char] (m a) Source #

Instances details

SMonadFail m => SingI (FailSym0 :: TyFun [Char] (m a) -> Type) Source #
Instance details Defined in Control.Monad.Fail.Singletons Methods sing :: Sing FailSym0
SuppressUnusedWarnings (FailSym0 :: TyFun [Char] (m a) -> Type) Source #
Instance details Defined in Control.Monad.Fail.Singletons Methods suppressUnusedWarnings :: () #
type Apply (FailSym0 :: TyFun [Char] (m a) -> Type) (a6989586621679540843 :: [Char]) Source #
Instance details Defined in Control.Monad.Fail.Singletons type Apply (FailSym0 :: TyFun [Char] (m a) -> Type) (a6989586621679540843 :: [Char]) = Fail a6989586621679540843 :: m a

type family FailSym1 (a6989586621679540843 :: [Char]) :: m a where ... Source #

Equations

FailSym1 a6989586621679540843 = Fail a6989586621679540843