Language.Haskell.TH.Build.Extras

Documentation

(\->) :: (Convertible a [PatQ], Convertible a1 ExpQ) => a -> a1 -> ExpQ

= lamE'

getFieldE

Arguments

:: Convertible a Name

=> a

Ctor name

-> Int

Ctor arity

-> Int

0-based index of field to get

-> Q Exp

htuple' :: Convertible a TypeQ => Int -> a -> TypeQ

svalD :: (Convertible patQ PatQ, Convertible bodyQ BodyQ) => patQ -> bodyQ -> DecQ

Value decl without a where-clause

smatch :: (Convertible patQ PatQ, Convertible bodyQ BodyQ) => patQ -> bodyQ -> MatchQ

case match without a where-clause

sclause :: (Convertible patQs [PatQ], Convertible bodyQ BodyQ) => patQs -> bodyQ -> ClauseQ

Clause without a where-clause

class Sigs a b c | c -> a b, a -> b c where

Methods

signature :: a -> b -> c

Instances

Sigs Exp Type Exp

Sigs Pat Type Pat

Sigs Type Kind Type

Sigs Name Type Dec

(.::) :: (Convertible qa (Q a'), Convertible qb (Q b'), Sigs a' b' c) => qa -> qb -> Q c

sdataD :: (Convertible name Name, Convertible tyVarBndrs [TyVarBndr], Convertible conQs [ConQ], Convertible names [Name]) => name -> tyVarBndrs -> conQs -> names -> DecQ

data decl with no context

snewtypeD :: (Convertible name Name, Convertible tyVarBndrs [TyVarBndr], Convertible conQ ConQ, Convertible names [Name]) => name -> tyVarBndrs -> conQ -> names -> DecQ

newtype decl with no context