Safe Haskell | None |
---|---|
Language | Haskell2010 |
Cubix.Language.Lua.Parametric.Common
Documentation
data LuaLocalVarInit e l where Source #
Constructors
LuaLocalVarInit :: e [ExpL] -> LuaLocalVarInit e LocalVarInitL |
Instances
data LuaLhs e l where Source #
Instances
data LuaRhs e l where Source #
Instances
data LuaBlockEnd e l where Source #
Constructors
LuaBlockEnd :: e (Maybe [ExpL]) -> LuaBlockEnd e BlockEndL |
Instances
data LuaSpecialFunArg e l where Source #
Constructors
LuaTableArg :: e TableL -> LuaSpecialFunArg e FunctionArgumentsL | |
LuaStringArg :: String -> LuaSpecialFunArg e FunctionArgumentsL | |
LuaReceiverAndTableArg :: e PrefixExpL -> e TableL -> LuaSpecialFunArg e FunctionArgumentsL | |
LuaReceiverAndStringArg :: e PrefixExpL -> String -> LuaSpecialFunArg e FunctionArgumentsL |
Instances
iLuaReceiverAndStringArg :: forall h fs a j. ((:-<:) LuaSpecialFunArg fs, InjF fs FunctionArgumentsL j) => CxtS h fs a PrefixExpL -> String -> CxtS h fs a j Source #
iLuaReceiverAndTableArg :: forall h fs a j. ((:-<:) LuaSpecialFunArg fs, InjF fs FunctionArgumentsL j) => CxtS h fs a PrefixExpL -> CxtS h fs a TableL -> CxtS h fs a j Source #
iLuaStringArg :: forall h fs a j. ((:-<:) LuaSpecialFunArg fs, InjF fs FunctionArgumentsL j) => String -> CxtS h fs a j Source #
iLuaTableArg :: forall h fs a j. ((:-<:) LuaSpecialFunArg fs, InjF fs FunctionArgumentsL j) => CxtS h fs a TableL -> CxtS h fs a j Source #
iLuaBlockEnd :: forall h fs a j. ((:-<:) LuaBlockEnd fs, InjF fs BlockEndL j) => CxtS h fs a (Maybe [ExpL]) -> CxtS h fs a j Source #
iLuaRhs :: forall h fs a j. ((:-<:) LuaRhs fs, InjF fs RhsL j) => CxtS h fs a [ExpL] -> CxtS h fs a j Source #
iLuaLhs :: forall h fs a j. ((:-<:) LuaLhs fs, InjF fs LhsL j) => CxtS h fs a [VarL] -> CxtS h fs a j Source #
iLuaLocalVarInit :: forall h fs a j. ((:-<:) LuaLocalVarInit fs, InjF fs LocalVarInitL j) => CxtS h fs a [ExpL] -> CxtS h fs a j Source #
data IdentIsName (e :: Type -> Type) i Source #
Constructors
i ~ NameL => IdentIsName (e IdentL) |
Instances
data AssignIsStat (e :: Type -> Type) i Source #
Constructors
i ~ StatL => AssignIsStat (e AssignL) |
Instances
data BlockIsBlock (e :: Type -> Type) i Source #
Constructors
i ~ BlockL => BlockIsBlock (e BlockL) |
Instances
data StatIsBlockItem (e :: Type -> Type) i Source #
Constructors
i ~ BlockItemL => StatIsBlockItem (e StatL) |
Instances
data SingleLocalVarDeclIsStat (e :: Type -> Type) i Source #
Constructors
i ~ StatL => SingleLocalVarDeclIsStat (e SingleLocalVarDeclL) |
Instances
data FunctionCallIsFunCall (e :: Type -> Type) i Source #
Constructors
i ~ FunCallL => FunctionCallIsFunCall (e FunctionCallL) |
Instances
data ExpIsPositionalArgExp (e :: Type -> Type) i Source #
Constructors
i ~ PositionalArgExpL => ExpIsPositionalArgExp (e ExpL) |
Instances
data PrefixExpIsFunctionExp (e :: Type -> Type) i Source #
Constructors
i ~ FunctionExpL => PrefixExpIsFunctionExp (e PrefixExpL) |
Instances
data PrefixExpIsReceiver (e :: Type -> Type) i Source #
Constructors
i ~ ReceiverL => PrefixExpIsReceiver (e PrefixExpL) |
Instances
iPrefixExpIsReceiver :: forall h fs a j. ((:-<:) PrefixExpIsReceiver fs, InjF fs ReceiverL j) => CxtS h fs a PrefixExpL -> CxtS h fs a j Source #
iPrefixExpIsFunctionExp :: forall h fs a j. ((:-<:) PrefixExpIsFunctionExp fs, InjF fs FunctionExpL j) => CxtS h fs a PrefixExpL -> CxtS h fs a j Source #
iExpIsPositionalArgExp :: forall h fs a j. ((:-<:) ExpIsPositionalArgExp fs, InjF fs PositionalArgExpL j) => CxtS h fs a ExpL -> CxtS h fs a j Source #
iFunctionCallIsFunCall :: forall h fs a j. ((:-<:) FunctionCallIsFunCall fs, InjF fs FunCallL j) => CxtS h fs a FunctionCallL -> CxtS h fs a j Source #
iSingleLocalVarDeclIsStat :: forall h fs a j. ((:-<:) SingleLocalVarDeclIsStat fs, InjF fs StatL j) => CxtS h fs a SingleLocalVarDeclL -> CxtS h fs a j Source #
iStatIsBlockItem :: forall h fs a j. ((:-<:) StatIsBlockItem fs, InjF fs BlockItemL j) => CxtS h fs a StatL -> CxtS h fs a j Source #
iBlockIsBlock :: forall h fs a j. ((:-<:) BlockIsBlock fs, InjF fs BlockL j) => CxtS h fs a BlockL -> CxtS h fs a j Source #
iAssignIsStat :: forall h fs a j. ((:-<:) AssignIsStat fs, InjF fs StatL j) => CxtS h fs a AssignL -> CxtS h fs a j Source #
iIdentIsName :: forall h fs a j. ((:-<:) IdentIsName fs, InjF fs NameL j) => CxtS h fs a IdentL -> CxtS h fs a j Source #
data LuaFunctionDefinedObjL Source #
Instances
KDynCase LuaFunctionDefinedObj LuaFunctionDefinedObjL Source # | |
Defined in Cubix.Language.Lua.Parametric.Common.Types Methods kdyncase :: forall (e :: Type -> Type) b. LuaFunctionDefinedObj e b -> Maybe (b :~: LuaFunctionDefinedObjL) # |
data LuaFunctionDefinedObj e l where Source #
Constructors
LuaFunctionDefinedObj :: e [IdentL] -> LuaFunctionDefinedObj e LuaFunctionDefinedObjL |
Instances
iLuaFunctionDefinedObj :: forall h fs a j. ((:-<:) LuaFunctionDefinedObj fs, InjF fs LuaFunctionDefinedObjL j) => CxtS h fs a [IdentL] -> CxtS h fs a j Source #
data LuaFunctionAttrs e l where Source #
Constructors
LuaFunctionAttrs :: e LuaFunctionDefinedObjL -> LuaFunctionAttrs e FunctionDefAttrsL |
Instances
iLuaFunctionAttrs :: forall h fs a j. ((:-<:) LuaFunctionAttrs fs, InjF fs FunctionDefAttrsL j) => CxtS h fs a LuaFunctionDefinedObjL -> CxtS h fs a j Source #
data LuaVarArgsParam (e :: * -> *) l where Source #
Constructors
LuaVarArgsParam :: LuaVarArgsParam e FunctionParameterL |
Instances
iLuaVarArgsParam :: forall h fs a j. ((:-<:) LuaVarArgsParam fs, InjF fs FunctionParameterL j) => CxtS h fs a j Source #
pattern LuaFunctionDefinedObj' :: (LuaFunctionDefinedObj :-<: fs, All HFunctor fs) => CxtS h fs a [IdentL] -> CxtS h fs a LuaFunctionDefinedObjL Source #
pattern LuaFunctionAttrs' :: (LuaFunctionAttrs :-<: fs, All HFunctor fs) => CxtS h fs a LuaFunctionDefinedObjL -> CxtS h fs a FunctionDefAttrsL Source #
pattern LuaVarArgsParam' :: (LuaVarArgsParam :-<: fs, All HFunctor fs) => CxtS h fs a FunctionParameterL Source #
data FunctionDefIsStat (e :: Type -> Type) i Source #
Constructors
i ~ StatL => FunctionDefIsStat (e FunctionDefL) |
Instances
data BlockIsFunctionBody (e :: Type -> Type) i Source #
Constructors
i ~ FunctionBodyL => BlockIsFunctionBody (e BlockL) |
Instances
iBlockIsFunctionBody :: forall h fs a j. ((:-<:) BlockIsFunctionBody fs, InjF fs FunctionBodyL j) => CxtS h fs a BlockL -> CxtS h fs a j Source #
iFunctionDefIsStat :: forall h fs a j. ((:-<:) FunctionDefIsStat fs, InjF fs StatL j) => CxtS h fs a FunctionDefL -> CxtS h fs a j Source #
type MLuaSig = '[Binop, Exp, FunDef, FunName, PrefixExp, Stat, Table, TableField, Unop, Var, NumberType, PairF, ListF, MaybeF, UnitF, FunBody, LuaLocalVarInit, LuaLhs, LuaRhs, LuaBlockEnd, LuaSpecialFunArg, LuaFunctionDefinedObj, LuaFunctionAttrs, LuaVarArgsParam, IdentIsName, AssignIsStat, BlockIsBlock, StatIsBlockItem, SingleLocalVarDeclIsStat, FunctionCallIsFunCall, ExpIsPositionalArgExp, PrefixExpIsFunctionExp, PrefixExpIsReceiver, FunctionDefIsStat, BlockIsFunctionBody, OptLocalVarInit, SingleLocalVarDecl, Ident, AssignOpEquals, Assign, Block, TupleBinder, EmptyLocalVarDeclAttrs, FunctionCall, EmptyFunctionCallAttrs, FunctionArgumentList, PositionalArgument, ReceiverArg, FunctionIdent, FunctionDef, EmptyFunctionDefAttrs, SelfParameter, PositionalParameter, EmptyParameterAttrs] Source #
type MLuaTermLab = TermLab MLuaSig Source #
untranslate :: MLuaTerm l -> LuaTerm l Source #
data NumberTypeL Source #
Instances
KDynCase NumberType NumberTypeL Source # | |
Defined in Cubix.Language.Lua.Parametric.Full.Types Methods kdyncase :: forall (e :: Type -> Type) b. NumberType e b -> Maybe (b :~: NumberTypeL) # | |
type Targ NumberTypeL Source # | |
Defined in Cubix.Language.Lua.Parametric.Full.Trans |
data NumberType (e :: Type -> Type) i Source #
Constructors
i ~ NumberTypeL => IntNum | |
i ~ NumberTypeL => FloatNum |
Instances
Instances
KDynCase Var VarL Source # | |
InjF MLuaSig [VarL] LhsL Source # | |
Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h MLuaSig a [VarL] -> CxtS h MLuaSig a LhsL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum MLuaSig :&: p) a LhsL -> Maybe (Cxt h (Sum MLuaSig :&: p) a [VarL]) Source # projF :: forall h (a :: Type -> Type). CxtS h MLuaSig a LhsL -> Maybe (CxtS h MLuaSig a [VarL]) Source # | |
type Targ VarL Source # | |
Defined in Cubix.Language.Lua.Parametric.Full.Trans |
data Var (e :: Type -> Type) i Source #
Constructors
i ~ VarL => VarName (e NameL) | |
i ~ VarL => Select (e PrefixExpL) (e ExpL) | |
i ~ VarL => SelectName (e PrefixExpL) (e NameL) |
Instances
data Unop (e :: Type -> Type) i Source #
Instances
data TableFieldL Source #
Instances
KDynCase TableField TableFieldL Source # | |
Defined in Cubix.Language.Lua.Parametric.Full.Types Methods kdyncase :: forall (e :: Type -> Type) b. TableField e b -> Maybe (b :~: TableFieldL) # | |
type Targ TableFieldL Source # | |
Defined in Cubix.Language.Lua.Parametric.Full.Trans |
data TableField (e :: Type -> Type) i Source #
Constructors
i ~ TableFieldL => ExpField (e ExpL) (e ExpL) | |
i ~ TableFieldL => NamedField (e NameL) (e ExpL) | |
i ~ TableFieldL => Field (e ExpL) |
Instances
data Table (e :: Type -> Type) i Source #
Constructors
i ~ TableL => Table (e [TableFieldL]) |
Instances
Instances
data Stat (e :: Type -> Type) i Source #
Constructors
i ~ StatL => FunCall (e FunCallL) | |
i ~ StatL => Label (e NameL) | |
i ~ StatL => Break | |
i ~ StatL => Goto (e NameL) | |
i ~ StatL => Do (e BlockL) | |
i ~ StatL => While (e ExpL) (e BlockL) | |
i ~ StatL => Repeat (e BlockL) (e ExpL) | |
i ~ StatL => If (e [(ExpL, BlockL)]) (e (Maybe BlockL)) | |
i ~ StatL => ForRange (e NameL) (e ExpL) (e ExpL) (e (Maybe ExpL)) (e BlockL) | |
i ~ StatL => ForIn (e [NameL]) (e [ExpL]) (e BlockL) | |
i ~ StatL => FunAssign (e FunNameL) (e FunBodyL) | |
i ~ StatL => LocalFunAssign (e NameL) (e FunBodyL) | |
i ~ StatL => LocalAssign (e [NameL]) (e (Maybe [ExpL])) | |
i ~ StatL => EmptyStat |
Instances
data PrefixExpL Source #
Instances
data PrefixExp (e :: Type -> Type) i Source #
Constructors
i ~ PrefixExpL => PEVar (e VarL) | |
i ~ PrefixExpL => PEFunCall (e FunCallL) | |
i ~ PrefixExpL => Paren (e ExpL) |
Instances
data FunName (e :: Type -> Type) i Source #
Instances
Instances
data FunDef (e :: Type -> Type) i Source #
Instances
Instances
KDynCase FunCall FunCallL Source # | |
KDynCase FunctionCallIsFunCall FunCallL Source # | |
Defined in Cubix.Language.Lua.Parametric.Common.Types | |
(FunctionCallIsFunCall :-<: fs, All HFunctor fs) => InjF fs FunctionCallL FunCallL Source # | |
Defined in Cubix.Language.Lua.Parametric.Common.Types Methods injF :: forall h (a :: Type -> Type). CxtS h fs a FunctionCallL -> CxtS h fs a FunCallL Source # projF' :: forall h p (a :: Type -> Type). Cxt h (Sum fs :&: p) a FunCallL -> Maybe (Cxt h (Sum fs :&: p) a FunctionCallL) Source # projF :: forall h (a :: Type -> Type). CxtS h fs a FunCallL -> Maybe (CxtS h fs a FunctionCallL) Source # | |
type Targ FunCallL Source # | |
Defined in Cubix.Language.Lua.Parametric.Full.Trans |
data FunCall (e :: Type -> Type) i Source #
Constructors
i ~ FunCallL => NormalFunCall (e PrefixExpL) (e FunArgL) | |
i ~ FunCallL => MethodCall (e PrefixExpL) (e NameL) (e FunArgL) |
Instances
ShowHF FunCall Source # | |
OrdHF FunCall Source # | |
EqHF FunCall Source # | |
HTraversable FunCall Source # | |
Defined in Cubix.Language.Lua.Parametric.Full.Types | |
HFoldable FunCall Source # | |
Defined in Cubix.Language.Lua.Parametric.Full.Types Methods hfold :: Monoid m => FunCall (K m) :=> m # hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> FunCall a :=> m # hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> FunCall a :=> b # hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> FunCall a :=> b # | |
HFunctor FunCall Source # | |
KDynCase FunCall FunCallL Source # | |
Instances
data FunArg (e :: Type -> Type) i Source #
Constructors
i ~ FunArgL => Args (e [ExpL]) | |
i ~ FunArgL => TableArg (e TableL) | |
i ~ FunArgL => StringArg Text |
Instances
ShowHF FunArg Source # | |
OrdHF FunArg Source # | |
EqHF FunArg Source # | |
HTraversable FunArg Source # | |
Defined in Cubix.Language.Lua.Parametric.Full.Types | |
HFoldable FunArg Source # | |
Defined in Cubix.Language.Lua.Parametric.Full.Types Methods hfold :: Monoid m => FunArg (K m) :=> m # hfoldMap :: forall m (a :: Type -> Type). Monoid m => (a :=> m) -> FunArg a :=> m # hfoldr :: forall (a :: Type -> Type) b. (a :=> (b -> b)) -> b -> FunArg a :=> b # hfoldl :: forall b (a :: Type -> Type). (b -> a :=> b) -> b -> FunArg a :=> b # | |
HFunctor FunArg Source # | |
KDynCase FunArg FunArgL Source # | |
Instances
data Exp (e :: Type -> Type) i Source #
Constructors
i ~ ExpL => Nil | |
i ~ ExpL => Bool Bool | |
i ~ ExpL => Number (e NumberTypeL) Text | |
i ~ ExpL => String Text | |
i ~ ExpL => Vararg | |
i ~ ExpL => EFunDef (e FunDefL) | |
i ~ ExpL => PrefixExp (e PrefixExpL) | |
i ~ ExpL => TableConst (e TableL) | |
i ~ ExpL => Binop (e BinopL) (e ExpL) (e ExpL) | |
i ~ ExpL => Unop (e UnopL) (e ExpL) |
Instances
data Binop (e :: Type -> Type) i Source #
Constructors
i ~ BinopL => Add | |
i ~ BinopL => Sub | |
i ~ BinopL => Mul | |
i ~ BinopL => Div | |
i ~ BinopL => Exp | |
i ~ BinopL => Mod | |
i ~ BinopL => Concat | |
i ~ BinopL => LT | |
i ~ BinopL => LTE | |
i ~ BinopL => GT | |
i ~ BinopL => GTE | |
i ~ BinopL => EQ | |
i ~ BinopL => NEQ | |
i ~ BinopL => And | |
i ~ BinopL => Or | |
i ~ BinopL => IDiv | |
i ~ BinopL => ShiftL | |
i ~ BinopL => ShiftR | |
i ~ BinopL => BAnd | |
i ~ BinopL => BOr | |
i ~ BinopL => BXor |
Instances
data FunBody e l where Source #
Instances
iNumber :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a NumberTypeL -> Text -> CxtS h fs a j Source #
iEFunDef :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a FunDefL -> CxtS h fs a j Source #
iPrefixExp :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a PrefixExpL -> CxtS h fs a j Source #
iTableConst :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a TableL -> CxtS h fs a j Source #
iBinop :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a BinopL -> CxtS h fs a ExpL -> CxtS h fs a ExpL -> CxtS h fs a j Source #
iUnop :: forall h fs a j. ((:-<:) Exp fs, InjF fs ExpL j) => CxtS h fs a UnopL -> CxtS h fs a ExpL -> CxtS h fs a j Source #
iArgs :: forall h fs a j. ((:-<:) FunArg fs, InjF fs FunArgL j) => CxtS h fs a [ExpL] -> CxtS h fs a j Source #
iTableArg :: forall h fs a j. ((:-<:) FunArg fs, InjF fs FunArgL j) => CxtS h fs a TableL -> CxtS h fs a j Source #
iStringArg :: forall h fs a j. ((:-<:) FunArg fs, InjF fs FunArgL j) => Text -> CxtS h fs a j Source #
iNormalFunCall :: forall h fs a j. ((:-<:) FunCall fs, InjF fs FunCallL j) => CxtS h fs a PrefixExpL -> CxtS h fs a FunArgL -> CxtS h fs a j Source #
iMethodCall :: forall h fs a j. ((:-<:) FunCall fs, InjF fs FunCallL j) => CxtS h fs a PrefixExpL -> CxtS h fs a NameL -> CxtS h fs a FunArgL -> CxtS h fs a j Source #
iFunDef :: forall h fs a j. ((:-<:) FunDef fs, InjF fs FunDefL j) => CxtS h fs a FunBodyL -> CxtS h fs a j Source #
iFunName :: forall h fs a j. ((:-<:) FunName fs, InjF fs FunNameL j) => CxtS h fs a NameL -> CxtS h fs a [NameL] -> CxtS h fs a (Maybe NameL) -> CxtS h fs a j Source #
iPEVar :: forall h fs a j. ((:-<:) PrefixExp fs, InjF fs PrefixExpL j) => CxtS h fs a VarL -> CxtS h fs a j Source #
iPEFunCall :: forall h fs a j. ((:-<:) PrefixExp fs, InjF fs PrefixExpL j) => CxtS h fs a FunCallL -> CxtS h fs a j Source #
iParen :: forall h fs a j. ((:-<:) PrefixExp fs, InjF fs PrefixExpL j) => CxtS h fs a ExpL -> CxtS h fs a j Source #
iFunCall :: forall h fs a j. ((:-<:) Stat fs, InjF fs StatL j) => CxtS h fs a FunCallL -> CxtS h fs a j Source #
iLabel :: forall h fs a j. ((:-<:) Stat fs, InjF fs StatL j) => CxtS h fs a NameL -> CxtS h fs a j Source #
iGoto :: forall h fs a j. ((:-<:) Stat fs, InjF fs StatL j) => CxtS h fs a NameL -> CxtS h fs a j Source #
iDo :: forall h fs a j. ((:-<:) Stat fs, InjF fs StatL j) => CxtS h fs a BlockL -> CxtS h fs a j Source #
iWhile :: forall h fs a j. ((:-<:) Stat fs, InjF fs StatL j) => CxtS h fs a ExpL -> CxtS h fs a BlockL -> CxtS h fs a j Source #
iRepeat :: forall h fs a j. ((:-<:) Stat fs, InjF fs StatL j) => CxtS h fs a BlockL -> CxtS h fs a ExpL -> CxtS h fs a j Source #
iIf :: forall h fs a j. ((:-<:) Stat fs, InjF fs StatL j) => CxtS h fs a [(ExpL, BlockL)] -> CxtS h fs a (Maybe BlockL) -> CxtS h fs a j Source #
iForRange :: forall h fs a j. ((:-<:) Stat fs, InjF fs StatL j) => CxtS h fs a NameL -> CxtS h fs a ExpL -> CxtS h fs a ExpL -> CxtS h fs a (Maybe ExpL) -> CxtS h fs a BlockL -> CxtS h fs a j Source #
iForIn :: forall h fs a j. ((:-<:) Stat fs, InjF fs StatL j) => CxtS h fs a [NameL] -> CxtS h fs a [ExpL] -> CxtS h fs a BlockL -> CxtS h fs a j Source #
iFunAssign :: forall h fs a j. ((:-<:) Stat fs, InjF fs StatL j) => CxtS h fs a FunNameL -> CxtS h fs a FunBodyL -> CxtS h fs a j Source #
iLocalFunAssign :: forall h fs a j. ((:-<:) Stat fs, InjF fs StatL j) => CxtS h fs a NameL -> CxtS h fs a FunBodyL -> CxtS h fs a j Source #
iLocalAssign :: forall h fs a j. ((:-<:) Stat fs, InjF fs StatL j) => CxtS h fs a [NameL] -> CxtS h fs a (Maybe [ExpL]) -> CxtS h fs a j Source #
iTable :: forall h fs a j. ((:-<:) Table fs, InjF fs TableL j) => CxtS h fs a [TableFieldL] -> CxtS h fs a j Source #
iExpField :: forall h fs a j. ((:-<:) TableField fs, InjF fs TableFieldL j) => CxtS h fs a ExpL -> CxtS h fs a ExpL -> CxtS h fs a j Source #
iNamedField :: forall h fs a j. ((:-<:) TableField fs, InjF fs TableFieldL j) => CxtS h fs a NameL -> CxtS h fs a ExpL -> CxtS h fs a j Source #
iField :: forall h fs a j. ((:-<:) TableField fs, InjF fs TableFieldL j) => CxtS h fs a ExpL -> CxtS h fs a j Source #
iVarName :: forall h fs a j. ((:-<:) Var fs, InjF fs VarL j) => CxtS h fs a NameL -> CxtS h fs a j Source #
iSelect :: forall h fs a j. ((:-<:) Var fs, InjF fs VarL j) => CxtS h fs a PrefixExpL -> CxtS h fs a ExpL -> CxtS h fs a j Source #
iSelectName :: forall h fs a j. ((:-<:) Var fs, InjF fs VarL j) => CxtS h fs a PrefixExpL -> CxtS h fs a NameL -> CxtS h fs a j Source #
iIntNum :: forall h fs a j. ((:-<:) NumberType fs, InjF fs NumberTypeL j) => CxtS h fs a j Source #
iFloatNum :: forall h fs a j. ((:-<:) NumberType fs, InjF fs NumberTypeL j) => CxtS h fs a j Source #
iFunBody :: forall h fs a j. ((:-<:) FunBody fs, InjF fs FunBodyL j) => CxtS h fs a [NameL] -> Bool -> CxtS h fs a BlockL -> CxtS h fs a j Source #
type LuaTermLab l = TermLab LuaSig l Source #
type LuaSig = '[Binop, Block, Exp, FunArg, FunCall, FunDef, FunName, Name, PrefixExp, Stat, Table, TableField, Unop, Var, NumberType, PairF, ListF, MaybeF, UnitF, FunBody] Source #
luaSigNames :: [Name] Source #