Copyright | (C) 2019 Ryan Scott |
---|---|
License | BSD-style (see LICENSE) |
Maintainer | Ryan Scott |
Stability | experimental |
Portability | non-portable |
Safe Haskell | None |
Language | Haskell2010 |
Data.Singletons.Prelude.Monad.Fail
Contents
Description
Defines the promoted and singled versions of the MonadFail
type class.
Synopsis
- class PMonadFail (m :: Type -> Type) where
- type Fail (arg :: [Char]) :: m a
- class SMonad m => SMonadFail (m :: Type -> Type) where
- data FailSym0 :: forall m6989586621679735037 a6989586621679735038. (~>) [Char] (m6989586621679735037 a6989586621679735038)
- type FailSym1 (arg6989586621679735057 :: [Char]) = Fail arg6989586621679735057
Documentation
class PMonadFail (m :: Type -> Type) Source #
Instances
PMonadFail [] Source # | |
Defined in Data.Singletons.Prelude.Monad.Fail | |
PMonadFail Maybe Source # | |
Defined in Data.Singletons.Prelude.Monad.Fail |
class SMonad m => SMonadFail (m :: Type -> Type) where Source #
Instances
SMonadFail [] Source # | |
SMonadFail Maybe Source # | |
Defunctionalization symbols
data FailSym0 :: forall m6989586621679735037 a6989586621679735038. (~>) [Char] (m6989586621679735037 a6989586621679735038) Source #
Instances
SMonadFail m => SingI (FailSym0 :: TyFun [Char] (m a) -> Type) Source # | |
SuppressUnusedWarnings (FailSym0 :: TyFun [Char] (m6989586621679735037 a6989586621679735038) -> Type) Source # | |
Defined in Data.Singletons.Prelude.Monad.Fail Methods suppressUnusedWarnings :: () Source # | |
type Apply (FailSym0 :: TyFun [Char] (m6989586621679735037 a6989586621679735038) -> Type) (arg6989586621679735057 :: [Char]) Source # | |
Defined in Data.Singletons.Prelude.Monad.Fail |