Data.Comp.Multi.Annotation

This module defines annotations on signatures. All definitions are generalised versions of those in Data.Comp.Annotation.

Documentation

data (f :&: a) (g :: * -> *) e infixr 7

This data type adds a constant product to a signature. Alternatively, this could have also been defined as

data (f :&: a) (g ::  * -> *) e = f g e :&: a e

This is too general, however, for example for productHHom.

Constructors

(f g e) :&: a infixr 7

Instances

DistAnn f p (f :&: p)

Defined in Data.Comp.Multi.Ops

Methods

injectA :: forall (a :: Type -> Type). p -> f a :-> (f :&: p) a

projectA :: forall (a :: Type -> Type). (f :&: p) a :-> (f a :&: p)

HFunctor f => HFunctor (f :&: a)

Defined in Data.Comp.Multi.Ops

Methods

hfmap :: forall (f0 :: Type -> Type) (g :: Type -> Type). (f0 :-> g) -> (f :&: a) f0 :-> (f :&: a) g

HFoldable f => HFoldable (f :&: a)

Defined in Data.Comp.Multi.Ops

Methods

hfold :: Monoid m => (f :&: a) (K m) :=> m

hfoldMap :: forall m (a0 :: Type -> Type). Monoid m => (a0 :=> m) -> (f :&: a) a0 :=> m

hfoldr :: forall (a0 :: Type -> Type) b. (a0 :=> (b -> b)) -> b -> (f :&: a) a0 :=> b

hfoldl :: forall b (a0 :: Type -> Type). (b -> a0 :=> b) -> b -> (f :&: a) a0 :=> b

hfoldr1 :: (a0 -> a0 -> a0) -> (f :&: a) (K a0) :=> a0

hfoldl1 :: (a0 -> a0 -> a0) -> (f :&: a) (K a0) :=> a0

HTraversable f => HTraversable (f :&: a)

Defined in Data.Comp.Multi.Ops

Methods

hmapM :: forall (m :: Type -> Type) (a0 :: Type -> Type) (b :: Type -> Type). Monad m => NatM m a0 b -> NatM m ((f :&: a) a0) ((f :&: a) b)

htraverse :: forall (f0 :: Type -> Type) (a0 :: Type -> Type) (b :: Type -> Type). Applicative f0 => NatM f0 a0 b -> NatM f0 ((f :&: a) a0) ((f :&: a) b)

(ShowHF f, Show p) => ShowHF (f :&: p)

Defined in Data.Comp.Multi.Show

Methods

showHF :: Alg (f :&: p) (K String)

showHF' :: (f :&: p) (K String) :=> String

RemA (f :&: p) f

Defined in Data.Comp.Multi.Ops

Methods

remA :: forall (a :: Type -> Type). (f :&: p) a :-> f a

DistAnn s p s' => DistAnn (f :+: s) p ((f :&: p) :+: s')

Defined in Data.Comp.Multi.Ops

Methods

injectA :: forall (a :: Type -> Type). p -> (f :+: s) a :-> ((f :&: p) :+: s') a

projectA :: forall (a :: Type -> Type). ((f :&: p) :+: s') a :-> ((f :+: s) a :&: p)

RemA s s' => RemA ((f :&: p) :+: s) (f :+: s')

Defined in Data.Comp.Multi.Ops

Methods

remA :: forall (a :: Type -> Type). ((f :&: p) :+: s) a :-> (f :+: s') a

class DistAnn (s :: (* -> *) -> * -> *) p s' | s' -> s, s' -> p where

This class defines how to distribute an annotation over a sum of signatures.

Methods

injectA :: p -> s a :-> s' a

This function injects an annotation over a signature.

projectA :: s' a :-> (s a :&: p)

Instances

DistAnn f p (f :&: p)

Defined in Data.Comp.Multi.Ops

Methods

injectA :: forall (a :: Type -> Type). p -> f a :-> (f :&: p) a

projectA :: forall (a :: Type -> Type). (f :&: p) a :-> (f a :&: p)

DistAnn s p s' => DistAnn (f :+: s) p ((f :&: p) :+: s')

Defined in Data.Comp.Multi.Ops

Methods

injectA :: forall (a :: Type -> Type). p -> (f :+: s) a :-> ((f :&: p) :+: s') a

projectA :: forall (a :: Type -> Type). ((f :&: p) :+: s') a :-> ((f :+: s) a :&: p)

class RemA (s :: (* -> *) -> * -> *) s' | s -> s' where

Methods

remA :: s a :-> s' a

Instances

RemA (f :&: p) f

Defined in Data.Comp.Multi.Ops

Methods

remA :: forall (a :: Type -> Type). (f :&: p) a :-> f a

RemA s s' => RemA ((f :&: p) :+: s) (f :+: s')

Defined in Data.Comp.Multi.Ops

Methods

remA :: forall (a :: Type -> Type). ((f :&: p) :+: s) a :-> (f :+: s') a

liftA :: RemA s s' => (s' a :-> t) -> s a :-> t

This function transforms a function with a domain constructed from a functor to a function with a domain constructed with the same functor but with an additional annotation.

ann :: (DistAnn f p g, HFunctor f) => p -> CxtFun f g

This function annotates each sub term of the given term with the given value (of type a).

liftA' :: (DistAnn s' p s, HFunctor s') => (s' a :-> Cxt h s' a) -> s a :-> Cxt h s a

This function transforms a function with a domain constructed from a functor to a function with a domain constructed with the same functor but with an additional annotation.

stripA :: (RemA g f, HFunctor g) => CxtFun g f

This function strips the annotations from a term over a functor with annotations.

propAnn :: (DistAnn f p f', DistAnn g p g', HFunctor g) => Hom f g -> Hom f' g'

project' :: (RemA f f', s :<: f') => Cxt h f a i -> Maybe (s (Cxt h f a) i)

This function is similar to project but applies to signatures with an annotation which is then ignored.