Safe Haskell	None
Language	Haskell2010

Data.Generics.SYB.WithClass.Context

Description

Context parameterisation and context passing.

Synopsis

Documentation

class Sat a where Source #

The Sat class from John Hughes' "Restricted Data Types in Haskell"

Methods

Instances

Sat (NoCtx a) Source #
Instance details Defined in Data.Generics.SYB.WithClass.Context Methods dict :: NoCtx a Source #
(Sat (l a), Sat (r a)) => Sat (PairCtx l r a) Source #
Instance details Defined in Data.Generics.SYB.WithClass.Context Methods dict :: PairCtx l r a Source #

No context

Instances

Sat (NoCtx a) Source #
Instance details Defined in Data.Generics.SYB.WithClass.Context Methods dict :: NoCtx a Source #

Pair context

Constructors

PairCtx
Fields leftCtx :: l a rightCtx :: r a

Instances

(Sat (l a), Sat (r a)) => Sat (PairCtx l r a) Source #
Instance details Defined in Data.Generics.SYB.WithClass.Context Methods dict :: PairCtx l r a Source #

pairCtx :: l () -> r () -> PairCtx l r () Source #