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

Safe HaskellNone

Data.Generics.SYB.WithClass.Context

Documentation

class Sat a where

Methods

dict :: a

Instances

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

data NoCtx a

Instances

Sat (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) 

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