UniqueLogic.ST.MonadTrans

Documentation

class MonadTrans t => C t where

Provide the methods that make a transformed monad a monad.

Methods

point :: Monad m => a -> t m a

bind :: Monad m => t m a -> (a -> t m b) -> t m b

Instances

C MaybeT

Defined in UniqueLogic.ST.MonadTrans

Methods

point :: forall (m :: Type -> Type) a. Monad m => a -> MaybeT m a

bind :: forall (m :: Type -> Type) a b. Monad m => MaybeT m a -> (a -> MaybeT m b) -> MaybeT m b

C Track

Defined in UniqueLogic.ST.Example.Verify

Methods

point :: forall (m :: Type -> Type) a. Monad m => a -> Track m a

bind :: forall (m :: Type -> Type) a b. Monad m => Track m a -> (a -> Track m b) -> Track m b

C (ExceptionalT e)

Defined in UniqueLogic.ST.MonadTrans

Methods

point :: forall (m :: Type -> Type) a. Monad m => a -> ExceptionalT e m a

bind :: forall (m :: Type -> Type) a b. Monad m => ExceptionalT e m a -> (a -> ExceptionalT e m b) -> ExceptionalT e m b

C (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in UniqueLogic.ST.MonadTrans

Methods

point :: forall (m :: Type -> Type) a. Monad m => a -> IdentityT m a

bind :: forall (m :: Type -> Type) a b. Monad m => IdentityT m a -> (a -> IdentityT m b) -> IdentityT m b

Monoid w => C (WriterT w)

Defined in UniqueLogic.ST.MonadTrans

Methods

point :: forall (m :: Type -> Type) a. Monad m => a -> WriterT w m a

bind :: forall (m :: Type -> Type) a b. Monad m => WriterT w m a -> (a -> WriterT w m b) -> WriterT w m b

newtype Wrap t m a

Build a regular monad for generic monad transformer and monad. The Const type allows us to force the kind (m :: * -> *) without using ExplicitKindSignatures.

Constructors

Wrap (Const (t m a) (m a))

Instances

(C t, Monad m) => Applicative (Wrap t m)

Defined in UniqueLogic.ST.MonadTrans

Methods

pure :: a -> Wrap t m a

(<*>) :: Wrap t m (a -> b) -> Wrap t m a -> Wrap t m b

liftA2 :: (a -> b -> c) -> Wrap t m a -> Wrap t m b -> Wrap t m c

(*>) :: Wrap t m a -> Wrap t m b -> Wrap t m b

(<*) :: Wrap t m a -> Wrap t m b -> Wrap t m a

(C t, Monad m) => Functor (Wrap t m)

Defined in UniqueLogic.ST.MonadTrans

Methods

fmap :: (a -> b) -> Wrap t m a -> Wrap t m b

(<$) :: a -> Wrap t m b -> Wrap t m a

(C t, Monad m) => Monad (Wrap t m)

Defined in UniqueLogic.ST.MonadTrans

Methods

(>>=) :: Wrap t m a -> (a -> Wrap t m b) -> Wrap t m b

(>>) :: Wrap t m a -> Wrap t m b -> Wrap t m b

return :: a -> Wrap t m a

wrap :: t m a -> Wrap t m a

unwrap :: Wrap t m a -> t m a

lift :: (C t, Monad m) => m a -> Wrap t m a