Pandora.Paradigm.Controlflow.Effect.Adaptable

Documentation

class Adaptable u m t where

Methods

adapt :: (m < t a) < u a

Instances

Category m => Adaptable (t :: k -> Type) (m :: Type -> Type -> Type) (t :: k -> Type)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: forall (a :: k0). (m < t a) < t a

Effectful m v t u => Adaptable (t :> u :: Type -> Type) (m :: k -> Type -> Type) (v :: Type -> k)

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

adapt :: forall (a :: k0). (m < v a) < (t :> u) a

class Effectful m v t u where

Methods

effect :: m (v a) ((t :> u) >>> a)

Instances

(Semigroupoid m, Effectful m u t u, Adaptable u m v) => Effectful (m :: Type -> Type -> Type) (v :: Type -> Type) t u

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

effect :: m (v a) ((t :> u) >>> a)

(Covariant m m u, Liftable m ((:>) t)) => Effectful (m :: Type -> Type -> Type) (u :: Type -> Type) t u

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

effect :: m (u a) ((t :> u) >>> a)

(Pointable u, Monadic m t) => Effectful (m :: Type -> Type -> Type) (t :: Type -> Type) t u

Defined in Pandora.Paradigm.Controlflow.Effect.Adaptable

Methods

effect :: m (t a) ((t :> u) >>> a)