syntactic-3.6.1: Generic representation and manipulation of abstract syntax

Safe Haskell	None
Language	Haskell2010

Data.NestTuple.TH

Documentation

mkTupT :: [Type] -> Type Source

mkPairT :: Type -> Type -> Type Source

mkPairE :: Exp -> Exp -> Exp Source

mkPairP :: Pat -> Pat -> Pat Source

data Nest a Source

Constructors

Leaf a
Pair (Nest a) (Nest a)

Instances

Functor Nest Source
Eq a => Eq (Nest a) Source
Show a => Show (Nest a) Source

foldNest :: (a -> b) -> (b -> b -> b) -> Nest a -> b Source

toNest :: [a] -> Nest a Source

mkNestableInstances Source

Arguments

:: Int	Max tuple width
-> DecsQ