Control.Monad.Fail.Singletons

Contents

Description

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

Synopsis

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

Documentation

Associated Types

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

Instances details

Instance details

Associated Types

type Fail a2
Instance details Defined in Control.Monad.Fail.Singletons type Fail a2

Instance details

Associated Types

type Fail a2
Instance details Defined in Control.Monad.Fail.Singletons type Fail a2

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

Methods

sFail :: forall a (t :: [Char]). Sing t -> Sing (Apply (FailSym0 :: TyFun [Char] (m a) -> Type) t) 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 :: TyFun [Char] (Maybe a) -> Type) t) Source #
SMonadFail [] Source #
Instance details Defined in Control.Monad.Fail.Singletons Methods sFail :: forall a (t :: [Char]). Sing t -> Sing (Apply (FailSym0 :: TyFun [Char] [a] -> Type) t) Source #

Defunctionalization symbols

data FailSym0 (a1 :: TyFun [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 :: TyFun [Char] (m a) -> Type) #
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) (a6989586621679549513 :: [Char]) Source #
Instance details 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 ... Source #

Equations

FailSym1 a6989586621679549513 = Fail a6989586621679549513 :: m a