Yhc Source code Contents Index

MkSyntax

Synopsis

mkAppExp :: [Exp id] -> Exp id mkAppInst :: (Pos, a) -> [(Pos, a)] -> Type a mkCase :: Pos -> Exp id -> [Alt id] -> Exp id mkDeclClass :: [Context b] -> (Pos, b) -> [(a, b)] -> [FunDep b] -> Decls b -> Decl b mkDeclFun :: (Pos, a) -> [Pat a] -> Rhs a -> Decls a -> Decl a mkDeclPat :: (Pos, a) -> Exp a -> Exp a -> Rhs a -> Decls a -> Decl a mkDeclPatFun :: Alt a -> Decl a mkEnumFrom :: Pos -> Exp TokenId -> Exp TokenId mkEnumThenFrom :: Pos -> Exp TokenId -> Exp TokenId -> Exp TokenId mkEnumToFrom :: Pos -> Exp TokenId -> Exp TokenId -> Exp TokenId mkEnumToThenFrom :: Pos -> Exp TokenId -> Exp TokenId -> Exp TokenId -> Exp TokenId mkLambda :: Pos -> [Pat id] -> Exp id -> Exp id mkLet :: Pos -> Decls id -> Exp id -> Exp id mkDo :: Pos -> [Stmt id] -> Exp id mkFieldExp :: Pos -> id -> Exp id -> Field id mkExpList :: Pos -> [Exp id] -> Pos -> Exp id mkExpListComp :: Pos -> [Qual TokenId] -> Exp TokenId -> Exp TokenId mkIf :: Pos -> Exp id -> Exp id -> Exp id -> Exp id mkInfixList :: [Exp id] -> Exp id mkInstList :: Pos -> TokenId -> Type TokenId mkInt :: Pos -> Int -> Exp id mkParExp :: Pos -> [Exp TokenId] -> Pos -> Exp TokenId mkParInst :: Pos -> [(Pos, TokenId)] -> Type TokenId mkParType :: Pos -> [Type TokenId] -> Type TokenId mkTypeList :: Pos -> Type TokenId -> Type TokenId mkPatNplusK :: (Pos, id) -> (Pos, Lit Boxed) -> Exp id mkParLhs :: Pos -> Exp id -> [Exp id] -> Exp id mkSweetListComp :: Pos -> Exp TokenId -> [Qual TokenId] -> Pos -> Exp TokenId mkSweetListEnum :: Pos -> Exp TokenId -> Maybe (Exp TokenId) -> Maybe (Exp TokenId) -> Pos -> Exp TokenId

Documentation

mkAppExp :: [Exp id] -> Exp id

mkAppInst :: (Pos, a) -> [(Pos, a)] -> Type a

mkCase :: Pos -> Exp id -> [Alt id] -> Exp id

passes position of case

mkDeclClass :: [Context b] -> (Pos, b) -> [(a, b)] -> [FunDep b] -> Decls b -> Decl b

mkDeclFun :: (Pos, a) -> [Pat a] -> Rhs a -> Decls a -> Decl a

mkDeclPat :: (Pos, a) -> Exp a -> Exp a -> Rhs a -> Decls a -> Decl a

mkDeclPatFun :: Alt a -> Decl a

mkEnumFrom :: Pos -> Exp TokenId -> Exp TokenId

mkEnumThenFrom :: Pos -> Exp TokenId -> Exp TokenId -> Exp TokenId

mkEnumToFrom :: Pos -> Exp TokenId -> Exp TokenId -> Exp TokenId

mkEnumToThenFrom :: Pos -> Exp TokenId -> Exp TokenId -> Exp TokenId -> Exp TokenId

mkLambda :: Pos -> [Pat id] -> Exp id -> Exp id

passes position of lambda

mkLet :: Pos -> Decls id -> Exp id -> Exp id

passes position of let

mkDo :: Pos -> [Stmt id] -> Exp id

passes position of do

mkFieldExp :: Pos -> id -> Exp id -> Field id

mkExpList :: Pos -> [Exp id] -> Pos -> Exp id

passes positions of left and right brackets

mkExpListComp :: Pos -> [Qual TokenId] -> Exp TokenId -> Exp TokenId

mkIf :: Pos -> Exp id -> Exp id -> Exp id -> Exp id

passes position of if

mkInfixList :: [Exp id] -> Exp id

mkInstList :: Pos -> TokenId -> Type TokenId

mkInt :: Pos -> Int -> Exp id

mkParExp :: Pos -> [Exp TokenId] -> Pos -> Exp TokenId

passes positions of left and right parenthesis

mkParInst :: Pos -> [(Pos, TokenId)] -> Type TokenId

mkParType :: Pos -> [Type TokenId] -> Type TokenId

mkTypeList :: Pos -> Type TokenId -> Type TokenId

mkPatNplusK :: (Pos, id) -> (Pos, Lit Boxed) -> Exp id

mkParLhs :: Pos -> Exp id -> [Exp id] -> Exp id

mkSweetListComp :: Pos -> Exp TokenId -> [Qual TokenId] -> Pos -> Exp TokenId

mkSweetListEnum :: Pos -> Exp TokenId -> Maybe (Exp TokenId) -> Maybe (Exp TokenId) -> Pos -> Exp TokenId

Produced by Haddock version 0.8