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

Safe HaskellNone
LanguageHaskell98

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

Instances

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

Methods

dict :: PairCtx l r a #

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