Data.Generics.Fixplate.Functor

Sum and product functors, with the usual instances. You can in principle use these to extend existing expressions, for example

type ExtendedExpression = Mu (Expr :+: Custom)

This module uses the TypeOperators language extension for convenience.

Documentation

data (f :+: g) a infixl 6

Sum of two functors

Constructors

InL (f a)

InR (g a)

Instances

(Functor f, Functor g) => Functor ((:+:) f g)

(Foldable f, Foldable g) => Foldable ((:+:) f g)

(Traversable f, Traversable g) => Traversable ((:+:) f g)

(ShowF f, ShowF g) => ShowF ((:+:) f g)

(OrdF f, OrdF g) => OrdF ((:+:) f g)

(EqF f, EqF g) => EqF ((:+:) f g)

(Eq (f a), Eq (g a)) => Eq ((:+:) f g a)

(Ord (f a), Ord (g a)) => Ord ((:+:) f g a)

(Show (f a), Show (g a)) => Show ((:+:) f g a)

data (f :*: g) a infixl 7

Product of two functors

Constructors

(f a) :*: (g a) infixl 7

Instances

(Functor f, Functor g) => Functor ((:*:) f g)

(Foldable f, Foldable g) => Foldable ((:*:) f g)

(Traversable f, Traversable g) => Traversable ((:*:) f g)

(ShowF f, ShowF g) => ShowF ((:*:) f g)

(OrdF f, OrdF g) => OrdF ((:*:) f g)

(EqF f, EqF g) => EqF ((:*:) f g)

(Eq (f a), Eq (g a)) => Eq ((:*:) f g a)

(Ord (f a), Ord (g a)) => Ord ((:*:) f g a)

(Show (f a), Show (g a)) => Show ((:*:) f g a)