Language.Haskell.TH.Syntax

Description

Synopsis

• class (Monad m, Functor m) => Quasi m where
  • qNewName :: String -> m Name
  • qReport :: Bool -> String -> m ()
  • qRecover :: m a -> m a -> m a
  • qReify :: Name -> m Info
  • qCurrentModule :: m String
  • qRunIO :: IO a -> m a
• class Lift t where
  • lift :: t -> Q Exp
• data Q a
• runQ :: Quasi m => Q a -> m a
• report :: Bool -> String -> Q ()
• recover :: Q a -> Q a -> Q a
• reify :: Name -> Q Info
• currentModule :: Q String
• runIO :: IO a -> Q a
• data Name = Name OccName NameFlavour
• mkName :: String -> Name
• newName :: String -> Q Name
• nameBase :: Name -> String
• nameModule :: Name -> Maybe String
• showName :: Name -> String
• showName' :: NameIs -> Name -> String
• data NameIs
  • = Alone
  • | Applied
  • | Infix
• data Dec
  • = FunD Name [Clause]
  • | ValD Pat Body [Dec]
  • | DataD Cxt Name [Name] [Con] [Name]
  • | NewtypeD Cxt Name [Name] Con [Name]
  • | TySynD Name [Name] Type
  • | ClassD Cxt Name [Name] [FunDep] [Dec]
  • | InstanceD Cxt Type [Dec]
  • | SigD Name Type
  • | ForeignD Foreign
• data Exp
  • = VarE Name
  • | ConE Name
  • | LitE Lit
  • | AppE Exp Exp
  • | InfixE (Maybe Exp) Exp (Maybe Exp)
  • | LamE [Pat] Exp
  • | TupE [Exp]
  • | CondE Exp Exp Exp
  • | LetE [Dec] Exp
  • | CaseE Exp [Match]
  • | DoE [Stmt]
  • | CompE [Stmt]
  • | ArithSeqE Range
  • | ListE [Exp]
  • | SigE Exp Type
  • | RecConE Name [FieldExp]
  • | RecUpdE Exp [FieldExp]
• data Con
  • = NormalC Name [StrictType]
  • | RecC Name [VarStrictType]
  • | InfixC StrictType Name StrictType
  • | ForallC [Name] Cxt Con
• data Type
  • = ForallT [Name] Cxt Type
  • | VarT Name
  • | ConT Name
  • | TupleT Int
  • | ArrowT
  • | ListT
  • | AppT Type Type
• type Cxt = [Type]
• data Match = Match Pat Body [Dec]
• data Clause = Clause [Pat] Body [Dec]
• data Body
  • = GuardedB [(Guard, Exp)]
  • | NormalB Exp
• data Guard
  • = NormalG Exp
  • | PatG [Stmt]
• data Stmt
  • = BindS Pat Exp
  • | LetS [Dec]
  • | NoBindS Exp
  • | ParS [[Stmt]]
• data Range
  • = FromR Exp
  • | FromThenR Exp Exp
  • | FromToR Exp Exp
  • | FromThenToR Exp Exp Exp
• data Lit
  • = CharL Char
  • | StringL String
  • | IntegerL Integer
  • | RationalL Rational
  • | IntPrimL Integer
  • | FloatPrimL Rational
  • | DoublePrimL Rational
• data Pat
  • = LitP Lit
  • | VarP Name
  • | TupP [Pat]
  • | ConP Name [Pat]
  • | InfixP Pat Name Pat
  • | TildeP Pat
  • | AsP Name Pat
  • | WildP
  • | RecP Name [FieldPat]
  • | ListP [Pat]
  • | SigP Pat Type
• type FieldExp = (Name, Exp)
• type FieldPat = (Name, Pat)
• data Strict
  • = IsStrict
  • | NotStrict
• data Foreign
  • = ImportF Callconv Safety String Name Type
  • | ExportF Callconv String Name Type
• data Callconv
  • = CCall
  • | StdCall
• data Safety
  • = Unsafe
  • | Safe
  • | Threadsafe
• type StrictType = (Strict, Type)
• type VarStrictType = (Name, Strict, Type)
• data FunDep = FunDep [Name] [Name]
• data Info
  • = ClassI Dec
  • | ClassOpI Name Type Name Fixity
  • | TyConI Dec
  • | PrimTyConI Name Int Bool
  • | DataConI Name Type Name Fixity
  • | VarI Name Type (Maybe Dec) Fixity
  • | TyVarI Name Type
• data Fixity = Fixity Int FixityDirection
• data FixityDirection
  • = InfixL
  • | InfixR
  • | InfixN
• defaultFixity :: Fixity
• maxPrecedence :: Int
• returnQ :: a -> Q a
• bindQ :: Q a -> (a -> Q b) -> Q b
• sequenceQ :: [Q a] -> Q [a]
• data NameFlavour
  • = NameS
  • | NameQ ModName
  • | NameU Int#
  • | NameL Int#
  • | NameG NameSpace PkgName ModName
• data NameSpace
  • = VarName
  • | DataName
  • | TcClsName
• mkNameG_v :: String -> String -> String -> Name
• mkNameG_d :: String -> String -> String -> Name
• mkNameG_tc :: String -> String -> String -> Name
• type Uniq = Int
• mkNameL :: String -> Uniq -> Name
• mkNameU :: String -> Uniq -> Name
• tupleTypeName :: Int -> Name
• tupleDataName :: Int -> Name
• type OccName = PackedString
• mkOccName :: String -> OccName
• occString :: OccName -> String
• type ModName = PackedString
• mkModName :: String -> ModName
• modString :: ModName -> String
• type PkgName = PackedString
• mkPkgName :: String -> PkgName
• pkgString :: PkgName -> String

Documentation