in-other-words-0.1.0.0: A higher-order effect system where the sky's the limit

Safe HaskellNone
LanguageHaskell2010

Control.Effect.Internal.Itself

Documentation

newtype Itself m a Source #

Constructors

Itself 

Fields

Instances
Monad m => MonadBase m (Itself m) Source # 
Instance details

Defined in Control.Effect.Internal.Itself

Methods

liftBase :: m α -> Itself m α #

Monad m => MonadBaseControl m (Itself m) Source # 
Instance details

Defined in Control.Effect.Internal.Itself

Associated Types

type StM (Itself m) a :: Type #

Methods

liftBaseWith :: (RunInBase (Itself m) m -> m a) -> Itself m a #

restoreM :: StM (Itself m) a -> Itself m a #

Monad m => Monad (Itself m) Source # 
Instance details

Defined in Control.Effect.Internal.Itself

Methods

(>>=) :: Itself m a -> (a -> Itself m b) -> Itself m b #

(>>) :: Itself m a -> Itself m b -> Itself m b #

return :: a -> Itself m a #

fail :: String -> Itself m a #

Functor m => Functor (Itself m) Source # 
Instance details

Defined in Control.Effect.Internal.Itself

Methods

fmap :: (a -> b) -> Itself m a -> Itself m b #

(<$) :: a -> Itself m b -> Itself m a #

Applicative m => Applicative (Itself m) Source # 
Instance details

Defined in Control.Effect.Internal.Itself

Methods

pure :: a -> Itself m a #

(<*>) :: Itself m (a -> b) -> Itself m a -> Itself m b #

liftA2 :: (a -> b -> c) -> Itself m a -> Itself m b -> Itself m c #

(*>) :: Itself m a -> Itself m b -> Itself m b #

(<*) :: Itself m a -> Itself m b -> Itself m a #

Carrier m => Carrier (Itself m) Source # 
Instance details

Defined in Control.Effect.Internal

Associated Types

type Derivs (Itself m) :: [Effect] Source #

type Prims (Itself m) :: [Effect] Source #

type Derivs (Itself m) Source # 
Instance details

Defined in Control.Effect.Internal

type Derivs (Itself m) = Derivs m
type Prims (Itself m) Source # 
Instance details

Defined in Control.Effect.Internal

type Prims (Itself m) = Prims m
type StM (Itself m) a Source # 
Instance details

Defined in Control.Effect.Internal.Itself

type StM (Itself m) a = a