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) |