syb-with-class-0.6.1: Scrap Your Boilerplate With Class

Data.Generics.SYB.WithClass.Context

Documentation

class Sat a whereSource

Methods

dict :: aSource

Instances

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

data NoCtx a Source

Instances

Sat (NoCtx a) 

noCtx :: NoCtx ()Source

data PairCtx l r a Source

Constructors

PairCtx 

Fields

leftCtx :: l a
 
rightCtx :: r a
 

Instances

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

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