Data.NestTuple.TH

Documentation

mkTupT :: [Type] -> Type

mkPairT :: Type -> Type -> Type

mkPairE :: Exp -> Exp -> Exp

mkPairP :: Pat -> Pat -> Pat

data Nest a

Constructors

Leaf a

Pair (Nest a) (Nest a)

Instances

Functor Nest

Defined in Data.NestTuple.TH

Methods

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

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

Eq a => Eq (Nest a)

Defined in Data.NestTuple.TH

Methods

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

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

Show a => Show (Nest a)

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

toNest :: [a] -> Nest a

mkNestableInstances

Arguments

:: Int

Max tuple width

-> DecsQ