Control.Effect.Parameterised

Documentation

newtype T i a

Implements Bob Atkey's 'parametric monads', and also the Control.Monad.Indexed package, by emulating indexing by morphisms

Data type of morphisms

Constructors

T a

Instances

Effect (Morph * *) T

Associated Types

type Unit T (m :: T -> * -> *) :: k

type Plus T (m :: T -> * -> *) (f :: T) (g :: T) :: k

type Inv T (m :: T -> * -> *) (f :: T) (g :: T) :: Constraint

Methods

return :: a -> m (Unit T m) a

(>>=) :: Inv T m f g => m f a -> (a -> m g b) -> m (Plus T m f g) b

(>>) :: Inv T m f g => m f a -> m g b -> m (Plus T m f g) b

type Unit (Morph * *) T

type Unit (Morph * *) T = Id * *

type Plus (Morph * *) T (Id * *) (M * * a b)

type Plus (Morph * *) T (Id * *) (M * * a b) = M * * a b

type Plus (Morph * *) T (M * * a b) (Id * *)

type Plus (Morph * *) T (M * * a b) (Id * *) = M * * a b

type Plus (Morph * *) T (M * * a b) (M * * c d)

type Plus (Morph * *) T (M * * a b) (M * * c d) = M * * a d

type Inv (Morph * *) T (M * * a b) (M * * c d)

type Inv (Morph * *) T (M * * a b) (M * * c d) = (~) * c d

data Morph a b

Data type denoting either a morphisms with source and target types, or identity

Constructors

M a b

Id

Instances

Effect (Morph * *) T

Associated Types

type Unit T (m :: T -> * -> *) :: k

type Plus T (m :: T -> * -> *) (f :: T) (g :: T) :: k

type Inv T (m :: T -> * -> *) (f :: T) (g :: T) :: Constraint

Methods

return :: a -> m (Unit T m) a

(>>=) :: Inv T m f g => m f a -> (a -> m g b) -> m (Plus T m f g) b

(>>) :: Inv T m f g => m f a -> m g b -> m (Plus T m f g) b

type Unit (Morph * *) T

type Unit (Morph * *) T = Id * *

type Plus (Morph * *) T (Id * *) (M * * a b)

type Plus (Morph * *) T (Id * *) (M * * a b) = M * * a b

type Plus (Morph * *) T (M * * a b) (Id * *)

type Plus (Morph * *) T (M * * a b) (Id * *) = M * * a b

type Plus (Morph * *) T (M * * a b) (M * * c d)

type Plus (Morph * *) T (M * * a b) (M * * c d) = M * * a d

type Inv (Morph * *) T (M * * a b) (M * * c d)

type Inv (Morph * *) T (M * * a b) (M * * c d) = (~) * c d