Data.Generics.SYB.WithClass.Context

Documentation

class Sat a where

Minimal complete definition

dict

Methods

dict :: a

Instances

Sat (NoCtx a)

Methods

dict :: NoCtx a

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

Methods

dict :: PairCtx l r a

data NoCtx a

Instances

Sat (NoCtx a)

Methods

dict :: NoCtx a

noCtx :: NoCtx ()

data PairCtx l r a

Constructors

PairCtx

Fields

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

Instances

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

Methods

dict :: PairCtx l r a

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