syntactic-3.8.1: Generic representation and manipulation of abstract syntax

Safe HaskellNone
LanguageHaskell2010

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 # 
Instance details

Defined in Data.NestTuple.TH

Methods

fmap :: (a -> b) -> Nest a -> Nest b #

(<$) :: a -> Nest b -> Nest a #

Eq a => Eq (Nest a) Source # 
Instance details

Defined in Data.NestTuple.TH

Methods

(==) :: Nest a -> Nest a -> Bool #

(/=) :: Nest a -> Nest a -> Bool #

Show a => Show (Nest a) Source # 
Instance details

Defined in Data.NestTuple.TH

Methods

showsPrec :: Int -> Nest a -> ShowS #

show :: Nest a -> String #

showList :: [Nest a] -> ShowS #

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

toNest :: [a] -> Nest a Source #

mkNestableInstances Source #

Arguments

:: Int

Max tuple width

-> DecsQ