Data.Generics.SYB.WithClass.Context

(C) 2004 Ralf Laemmel

Context parameterisation and context passing.

Documentation

class Sat a where

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

Methods

dict :: a

Instances

Sat (NoCtx a)

Defined in Data.Generics.SYB.WithClass.Context

Methods

dict :: NoCtx a

(Sat (l a), Sat (r a)) => Sat (PairCtx l r a)

Defined in Data.Generics.SYB.WithClass.Context

Methods

dict :: PairCtx l r a

data NoCtx a

No context

Instances

Sat (NoCtx a)

Defined in Data.Generics.SYB.WithClass.Context

Methods

dict :: NoCtx a

noCtx :: NoCtx ()

data PairCtx l r a

Pair context

Constructors

PairCtx

Fields

• leftCtx :: l a
• rightCtx :: r a

Instances

(Sat (l a), Sat (r a)) => Sat (PairCtx l r a)

Defined in Data.Generics.SYB.WithClass.Context

Methods

dict :: PairCtx l r a

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