syb-with-class-0.3: Scrap Your Boilerplate With Class Contents Index

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 leftCtx :: (l a) rightCtx :: (r a) Instances (Sat (l a), Sat (r a)) => Sat (PairCtx l r a)

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

Produced by Haddock version 0.8