Control.Effects.Generic

Documentation

data M a

Instances

((~) * b (m x), Monad m) => MonadicMethod * a b (M * x) m

Methods

mergeMethod :: Proxy a m -> (b m -> M * x) -> m (b m) -> M * x

(MonadTrans t, Monad m, (~) * a (m x)) => SimpleMethod * a (M * x) m t

Associated Types

type LiftedMethod a (M * x) (m :: a) (t :: * -> *) (t :: (* -> *) -> * -> *) :: *

Methods

liftMethod :: Proxy (* -> *) t -> Proxy ((* -> *) -> * -> *) t -> Proxy a m -> M * x -> LiftedMethod a (M * x) m t t

TypeError Constraint ((:<>:) ((:<>:) (Text "Parameters of methods can't depend on the monadic context (") (ShowType (* -> *) m)) (Text ")")) => IndependentOfM (k -> *) (M k) m

type LiftedMethod * a (M * x) m t

type LiftedMethod * a (M * x) m t = t m x

class (Generic (a m), Generic (a (t m)), Generic (a M)) => SimpleMethods a m t where

Minimal complete definition

liftSimple

Methods

liftSimple :: a m -> a (t m)

Instances

((~) (* -> *) (Rep (a m)) (D1 * m1 (C1 * m2 p)), (~) (* -> *) (Rep (a (M k))) (D1 * m1 (C1 * m2 pM)), (~) (* -> *) (Rep (a (t m))) (D1 * m1 (C1 * m2 (LiftedProducts (* -> *) (k -> *) ((k -> *) -> k -> *) p pM m t))), ProductOfSimpleMethods (* -> *) (k -> *) ((k -> *) -> k -> *) p pM m t, Generic (a m), Generic (a (t m)), Generic (a (M k))) => SimpleMethods k a m t

Methods

liftSimple :: m t -> m (t t)

class ProductOfSimpleMethods p pM m t where

Minimal complete definition

liftProducts

Associated Types

type LiftedProducts p pM m t :: * -> *

Methods

liftProducts :: Proxy m -> Proxy t -> Proxy pM -> p x -> LiftedProducts p pM m t x

Instances

(ProductOfSimpleMethods (k3 -> *) k2 k1 f1 f1M m t, ProductOfSimpleMethods (k3 -> *) k2 k1 f2 f2M m t) => ProductOfSimpleMethods (k3 -> *) k2 k1 ((:*:) * f1 f2) ((:*:) k3 f1M f2M) m t

Associated Types

type LiftedProducts ((* :*: f1) f2) ((k3 :*: f1M) f2M) m (t :: * -> *) (pM :: (* :*: f1) f2) (m :: (k3 :*: f1M) f2M) (t :: m) :: * -> *

Methods

liftProducts :: Proxy ((k3 :*: f1M) f2M) m -> Proxy m t -> Proxy ((* :*: f1) f2) pM -> t x -> LiftedProducts ((* :*: f1) f2) ((k3 :*: f1M) f2M) m t pM m t x

SimpleMethod * f fM m t => ProductOfSimpleMethods (k -> *) (* -> *) ((* -> *) -> * -> *) (S1 * m1 (Rec0 * f)) (S1 k m1 (Rec0 k fM)) m t

Associated Types

type LiftedProducts (S1 * m1 (Rec0 * f)) (S1 k m1 (Rec0 k fM)) m (t :: * -> *) (pM :: S1 * m1 (Rec0 * f)) (m :: S1 k m1 (Rec0 k fM)) (t :: m) :: * -> *

Methods

liftProducts :: Proxy (S1 k m1 (Rec0 k fM)) m -> Proxy m t -> Proxy (S1 * m1 (Rec0 * f)) pM -> t x -> LiftedProducts (S1 * m1 (Rec0 * f)) (S1 k m1 (Rec0 k fM)) m t pM m t x

class (MonadTrans t, Monad m) => SimpleMethod f fM (m :: * -> *) (t :: (* -> *) -> * -> *) where

Minimal complete definition

liftMethod

Associated Types

type LiftedMethod f fM m t

Methods

liftMethod :: Proxy m -> Proxy t -> Proxy fM -> f -> LiftedMethod f fM m t

Instances

(TypeError Constraint (Text "Effect methods must be monadic actions or functions resulting in monadic actions"), Monad m, MonadTrans t) => SimpleMethod k a b m t

Associated Types

type LiftedMethod a b (m :: a) (t :: * -> *) (t :: (* -> *) -> * -> *) :: *

Methods

liftMethod :: Proxy (* -> *) t -> Proxy ((* -> *) -> * -> *) t -> Proxy a m -> b -> LiftedMethod a b m t t

((~) * f (a -> b), SimpleMethod * b bM m t, IndependentOfM * a m) => SimpleMethod * f (a -> bM) m t

Associated Types

type LiftedMethod f (a -> bM) (m :: f) (t :: * -> *) (t :: (* -> *) -> * -> *) :: *

Methods

liftMethod :: Proxy (* -> *) t -> Proxy ((* -> *) -> * -> *) t -> Proxy f m -> (a -> bM) -> LiftedMethod f (a -> bM) m t t

(MonadTrans t, Monad m, (~) * a (m x)) => SimpleMethod * a (M * x) m t

Associated Types

type LiftedMethod a (M * x) (m :: a) (t :: * -> *) (t :: (* -> *) -> * -> *) :: *

Methods

liftMethod :: Proxy (* -> *) t -> Proxy ((* -> *) -> * -> *) t -> Proxy a m -> M * x -> LiftedMethod a (M * x) m t t

type family FuncRes f where ...

Equations

FuncRes (a -> b) = b

class IndependentOfM (a :: k) (m :: * -> *)

Instances

IndependentOfM k a m

(IndependentOfM (k1 -> k2) a m, IndependentOfM k1 b m) => IndependentOfM k2 (a b) m

TypeError Constraint ((:<>:) ((:<>:) (Text "Parameters of methods can't depend on the monadic context (") (ShowType (* -> *) m)) (Text ")")) => IndependentOfM (k -> *) (M k) m

genericLiftThrough :: forall t e em m. (MonadTrans t, Monad m, Monad (t m), SimpleMethods (em e) m t) => em e m -> em e (t m)

class MonadicMethods a m where

Minimal complete definition

mergeMonadicMethods

Methods

mergeMonadicMethods :: m (a m) -> a m

Instances

((~) (* -> *) (Rep (a m)) (D1 * m1 (C1 * m2 p)), (~) (* -> *) (Rep (a (M *))) (D1 * m1 (C1 * m2 pM)), ProductOfMonadicMethods * (* -> *) p pM a m, Generic (a m), Generic (a (M *))) => MonadicMethods a m

Methods

mergeMonadicMethods :: m (a m) -> a m

class ProductOfMonadicMethods p pM a m where

Minimal complete definition

mergeMonadicProducts

Methods

mergeMonadicProducts :: Proxy p -> Proxy pM -> m (a m) -> (a m -> p x) -> p x

Instances

(ProductOfMonadicMethods k2 (k1 -> *) f1 f1M a m, ProductOfMonadicMethods k2 (k1 -> *) f2 f2M a m) => ProductOfMonadicMethods k2 (k1 -> *) ((:*:) k2 f1 f2) ((:*:) k1 f1M f2M) a m

Methods

mergeMonadicProducts :: Proxy ((k2 :*: f1) f2 -> *) a -> Proxy ((k1 :*: f1M) f2M) m -> m (a m) -> (a m -> a x) -> a x

MonadicMethod * a f fM m => ProductOfMonadicMethods k1 (k2 -> *) (S1 k1 m1 (Rec0 k1 f)) (S1 k2 m1 (Rec0 k2 fM)) a m

Methods

mergeMonadicProducts :: Proxy (S1 k1 m1 (Rec0 k1 f) -> *) a -> Proxy (S1 k2 m1 (Rec0 k2 fM)) m -> m (a m) -> (a m -> a x) -> a x

class Monad m => MonadicMethod a f fM m where

Minimal complete definition

mergeMethod

Methods

mergeMethod :: Proxy fM -> (a m -> f) -> m (a m) -> f

Instances

(TypeError Constraint (Text "Effect methods must be monadic actions or functions resulting in monadic actions"), Monad m) => MonadicMethod k a f fM m

Methods

mergeMethod :: Proxy a m -> (f m -> fM) -> m (f m) -> fM

((~) * f (b -> c), Monad m, MonadicMethod * a c cM m) => MonadicMethod * a f (bM -> cM) m

Methods

mergeMethod :: Proxy a m -> (f m -> bM -> cM) -> m (f m) -> bM -> cM

((~) * b (m x), Monad m) => MonadicMethod * a b (M * x) m

Methods

mergeMethod :: Proxy a m -> (b m -> M * x) -> m (b m) -> M * x

genericMergeContext :: MonadicMethods a m => m (a m) -> a m