syb-with-class-0.4: Scrap Your Boilerplate With Class Source code Contents Index

Data.Generics.SYB.WithClass.Context

Documentation

class Sat a where Source

Methods dict :: a Source 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 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

Produced by Haddock version 2.4.2