| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Lua.Annotated.Syntax
Description
Lua 5.3 syntax tree, as specified in http://www.lua.org/manual/5.3/manual.html#9. Annotation implementation is inspired by haskell-src-exts.
Synopsis
- data Stat a
- = Assign a [Var a] [Exp a]
- | FunCall a (FunCall a)
- | Label a (Name a)
- | Break a
- | Goto a (Name a)
- | Do a (Block a)
- | While a (Exp a) (Block a)
- | Repeat a (Block a) (Exp a)
- | If a [(Exp a, Block a)] (Maybe (Block a))
- | ForRange a (Name a) (Exp a) (Exp a) (Maybe (Exp a)) (Block a)
- | ForIn a [Name a] [Exp a] (Block a)
- | FunAssign a (FunName a) (FunBody a)
- | LocalFunAssign a (Name a) (FunBody a)
- | LocalAssign a [Name a] (Maybe [Exp a])
- | EmptyStat a
- data PrefixExp a
- data Exp a
- data Binop a
- class Functor ast => Annotated (ast :: Type -> Type) where
- data Unop a
- = Neg a
- | Not a
- | Len a
- | Complement a
- data Table a = Table a [TableField a]
- data Name a = Name a Text
- data Var a
- data FunCall a
- = NormalFunCall a (PrefixExp a) (FunArg a)
- | MethodCall a (PrefixExp a) (Name a) (FunArg a)
- data Block a = Block a [Stat a] (Maybe [Exp a])
- data FunName a = FunName a (Name a) [Name a] (Maybe (Name a))
- data FunBody a = FunBody a [Name a] (Maybe a) (Block a)
- data TableField a
- data FunArg a
- data FunDef a = FunDef a (FunBody a)
- data NumberType
Documentation
Constructors
| Assign a [Var a] [Exp a] | var1, var2 .. = exp1, exp2 .. |
| FunCall a (FunCall a) | function call |
| Label a (Name a) | label for goto |
| Break a | break |
| Goto a (Name a) | goto label |
| Do a (Block a) | do .. end |
| While a (Exp a) (Block a) | while .. do .. end |
| Repeat a (Block a) (Exp a) | repeat .. until .. |
| If a [(Exp a, Block a)] (Maybe (Block a)) | if .. then .. [elseif ..] [else ..] end |
| ForRange a (Name a) (Exp a) (Exp a) (Maybe (Exp a)) (Block a) | for x=start, end [, step] do .. end |
| ForIn a [Name a] [Exp a] (Block a) | for x in .. do .. end |
| FunAssign a (FunName a) (FunBody a) | function <var> (..) .. end |
| LocalFunAssign a (Name a) (FunBody a) | local function <var> (..) .. end |
| LocalAssign a [Name a] (Maybe [Exp a]) | local var1, var2 .. = exp1, exp2 .. |
| EmptyStat a | ; |
Instances
Instances
| Functor PrefixExp Source # | |||||
| Annotated PrefixExp Source # | |||||
| Data a => Data (PrefixExp a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PrefixExp a -> c (PrefixExp a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (PrefixExp a) # toConstr :: PrefixExp a -> Constr # dataTypeOf :: PrefixExp a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (PrefixExp a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (PrefixExp a)) # gmapT :: (forall b. Data b => b -> b) -> PrefixExp a -> PrefixExp a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PrefixExp a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PrefixExp a -> r # gmapQ :: (forall d. Data d => d -> u) -> PrefixExp a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> PrefixExp a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> PrefixExp a -> m (PrefixExp a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PrefixExp a -> m (PrefixExp a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PrefixExp a -> m (PrefixExp a) # | |||||
| Generic (PrefixExp a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Associated Types
| |||||
| Show a => Show (PrefixExp a) Source # | |||||
| NFData a => NFData (PrefixExp a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax | |||||
| Eq a => Eq (PrefixExp a) Source # | |||||
| type Rep (PrefixExp a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax type Rep (PrefixExp a) = D1 ('MetaData "PrefixExp" "Language.Lua.Annotated.Syntax" "language-lua-0.11.0.2-FVugoMfr54VGduKaJckg0v" 'False) (C1 ('MetaCons "PEVar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Var a))) :+: (C1 ('MetaCons "PEFunCall" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (FunCall a))) :+: C1 ('MetaCons "Paren" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Exp a))))) | |||||
Constructors
| Nil a | |
| Bool a Bool | |
| Number a NumberType Text | |
| String a Text | |
| Vararg a | ... |
| EFunDef a (FunDef a) | function (..) .. end |
| PrefixExp a (PrefixExp a) | |
| TableConst a (Table a) | table constructor |
| Binop a (Binop a) (Exp a) (Exp a) | binary operators, + - * ^ % .. <= >= == ~= and or |
| Unop a (Unop a) (Exp a) | unary operators, - not # |
Instances
| Functor Exp Source # | |||||
| Annotated Exp Source # | |||||
| Data a => Data (Exp a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Exp a -> c (Exp a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Exp a) # dataTypeOf :: Exp a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Exp a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Exp a)) # gmapT :: (forall b. Data b => b -> b) -> Exp a -> Exp a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Exp a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Exp a -> r # gmapQ :: (forall d. Data d => d -> u) -> Exp a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Exp a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Exp a -> m (Exp a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Exp a -> m (Exp a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Exp a -> m (Exp a) # | |||||
| Generic (Exp a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Associated Types
| |||||
| Show a => Show (Exp a) Source # | |||||
| NFData a => NFData (Exp a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax | |||||
| Eq a => Eq (Exp a) Source # | |||||
| type Rep (Exp a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax type Rep (Exp a) = D1 ('MetaData "Exp" "Language.Lua.Annotated.Syntax" "language-lua-0.11.0.2-FVugoMfr54VGduKaJckg0v" 'False) (((C1 ('MetaCons "Nil" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Bool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))) :+: (C1 ('MetaCons "Number" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 NumberType) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :+: (C1 ('MetaCons "String" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "Vararg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))) :+: ((C1 ('MetaCons "EFunDef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (FunDef a))) :+: C1 ('MetaCons "PrefixExp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PrefixExp a)))) :+: (C1 ('MetaCons "TableConst" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Table a))) :+: (C1 ('MetaCons "Binop" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Binop a))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Exp a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Exp a)))) :+: C1 ('MetaCons "Unop" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Unop a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Exp a)))))))) | |||||
Constructors
| Add a | |
| Sub a | |
| Mul a | |
| Div a | |
| Exp a | |
| Mod a | |
| Concat a | |
| LT a | |
| LTE a | |
| GT a | |
| GTE a | |
| EQ a | |
| NEQ a | |
| And a | |
| Or a | |
| IDiv a | |
| ShiftL a | |
| ShiftR a | |
| BAnd a | |
| BOr a | |
| BXor a |
Instances
| Functor Binop Source # | |||||
| Annotated Binop Source # | |||||
| Data a => Data (Binop a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Binop a -> c (Binop a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Binop a) # toConstr :: Binop a -> Constr # dataTypeOf :: Binop a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Binop a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Binop a)) # gmapT :: (forall b. Data b => b -> b) -> Binop a -> Binop a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Binop a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Binop a -> r # gmapQ :: (forall d. Data d => d -> u) -> Binop a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Binop a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Binop a -> m (Binop a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Binop a -> m (Binop a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Binop a -> m (Binop a) # | |||||
| Generic (Binop a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Associated Types
| |||||
| Show a => Show (Binop a) Source # | |||||
| NFData a => NFData (Binop a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax | |||||
| Eq a => Eq (Binop a) Source # | |||||
| type Rep (Binop a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax type Rep (Binop a) = D1 ('MetaData "Binop" "Language.Lua.Annotated.Syntax" "language-lua-0.11.0.2-FVugoMfr54VGduKaJckg0v" 'False) ((((C1 ('MetaCons "Add" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Sub" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) :+: (C1 ('MetaCons "Mul" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: (C1 ('MetaCons "Div" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Exp" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))) :+: ((C1 ('MetaCons "Mod" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Concat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) :+: (C1 ('MetaCons "LT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: (C1 ('MetaCons "LTE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "GT" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))))) :+: (((C1 ('MetaCons "GTE" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "EQ" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) :+: (C1 ('MetaCons "NEQ" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: (C1 ('MetaCons "And" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Or" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))) :+: ((C1 ('MetaCons "IDiv" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: (C1 ('MetaCons "ShiftL" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "ShiftR" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))) :+: (C1 ('MetaCons "BAnd" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: (C1 ('MetaCons "BOr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "BXor" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))))) | |||||
class Functor ast => Annotated (ast :: Type -> Type) where Source #
Methods
Retrieve the annotation of an AST node.
amap :: (l -> l) -> ast l -> ast l Source #
Change the annotation of an AST node. Note that only the annotation of
the node itself is affected, and not the annotations of any child nodes.
if all nodes in the AST tree are to be affected, use fmap.
Instances
| Annotated Binop Source # | |
| Annotated Block Source # | |
| Annotated Exp Source # | |
| Annotated FunArg Source # | |
| Annotated FunBody Source # | |
| Annotated FunCall Source # | |
| Annotated FunDef Source # | |
| Annotated FunName Source # | |
| Annotated Name Source # | |
| Annotated PrefixExp Source # | |
| Annotated Stat Source # | |
| Annotated Table Source # | |
| Annotated TableField Source # | |
Defined in Language.Lua.Annotated.Syntax | |
| Annotated Unop Source # | |
| Annotated Var Source # | |
Constructors
| Neg a | |
| Not a | |
| Len a | |
| Complement a |
Instances
| Functor Unop Source # | |||||
| Annotated Unop Source # | |||||
| Data a => Data (Unop a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Unop a -> c (Unop a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Unop a) # toConstr :: Unop a -> Constr # dataTypeOf :: Unop a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Unop a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Unop a)) # gmapT :: (forall b. Data b => b -> b) -> Unop a -> Unop a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Unop a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Unop a -> r # gmapQ :: (forall d. Data d => d -> u) -> Unop a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Unop a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Unop a -> m (Unop a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Unop a -> m (Unop a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Unop a -> m (Unop a) # | |||||
| Generic (Unop a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Associated Types
| |||||
| Show a => Show (Unop a) Source # | |||||
| NFData a => NFData (Unop a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax | |||||
| Eq a => Eq (Unop a) Source # | |||||
| type Rep (Unop a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax type Rep (Unop a) = D1 ('MetaData "Unop" "Language.Lua.Annotated.Syntax" "language-lua-0.11.0.2-FVugoMfr54VGduKaJckg0v" 'False) ((C1 ('MetaCons "Neg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Not" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))) :+: (C1 ('MetaCons "Len" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)) :+: C1 ('MetaCons "Complement" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a)))) | |||||
Constructors
| Table a [TableField a] | list of table fields |
Instances
| Functor Table Source # | |||||
| Annotated Table Source # | |||||
| Data a => Data (Table a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Table a -> c (Table a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Table a) # toConstr :: Table a -> Constr # dataTypeOf :: Table a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Table a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Table a)) # gmapT :: (forall b. Data b => b -> b) -> Table a -> Table a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Table a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Table a -> r # gmapQ :: (forall d. Data d => d -> u) -> Table a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Table a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Table a -> m (Table a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Table a -> m (Table a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Table a -> m (Table a) # | |||||
| Generic (Table a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Associated Types
| |||||
| Show a => Show (Table a) Source # | |||||
| NFData a => NFData (Table a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax | |||||
| Eq a => Eq (Table a) Source # | |||||
| type Rep (Table a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax type Rep (Table a) = D1 ('MetaData "Table" "Language.Lua.Annotated.Syntax" "language-lua-0.11.0.2-FVugoMfr54VGduKaJckg0v" 'False) (C1 ('MetaCons "Table" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TableField a]))) | |||||
Instances
| Functor Name Source # | |||||
| Annotated Name Source # | |||||
| Data a => Data (Name a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Name a -> c (Name a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Name a) # toConstr :: Name a -> Constr # dataTypeOf :: Name a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Name a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Name a)) # gmapT :: (forall b. Data b => b -> b) -> Name a -> Name a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Name a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Name a -> r # gmapQ :: (forall d. Data d => d -> u) -> Name a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Name a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Name a -> m (Name a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Name a -> m (Name a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Name a -> m (Name a) # | |||||
| Generic (Name a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Associated Types
| |||||
| Show a => Show (Name a) Source # | |||||
| NFData a => NFData (Name a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax | |||||
| Eq a => Eq (Name a) Source # | |||||
| type Rep (Name a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax type Rep (Name a) = D1 ('MetaData "Name" "Language.Lua.Annotated.Syntax" "language-lua-0.11.0.2-FVugoMfr54VGduKaJckg0v" 'False) (C1 ('MetaCons "Name" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) | |||||
Constructors
| VarName a (Name a) | variable |
| Select a (PrefixExp a) (Exp a) | table[exp] |
| SelectName a (PrefixExp a) (Name a) | table.variable |
Instances
| Functor Var Source # | |||||
| Annotated Var Source # | |||||
| Data a => Data (Var a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Var a -> c (Var a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Var a) # dataTypeOf :: Var a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Var a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Var a)) # gmapT :: (forall b. Data b => b -> b) -> Var a -> Var a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Var a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Var a -> r # gmapQ :: (forall d. Data d => d -> u) -> Var a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Var a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Var a -> m (Var a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Var a -> m (Var a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Var a -> m (Var a) # | |||||
| Generic (Var a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Associated Types
| |||||
| Show a => Show (Var a) Source # | |||||
| NFData a => NFData (Var a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax | |||||
| Eq a => Eq (Var a) Source # | |||||
| type Rep (Var a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax type Rep (Var a) = D1 ('MetaData "Var" "Language.Lua.Annotated.Syntax" "language-lua-0.11.0.2-FVugoMfr54VGduKaJckg0v" 'False) (C1 ('MetaCons "VarName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Name a))) :+: (C1 ('MetaCons "Select" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PrefixExp a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Exp a)))) :+: C1 ('MetaCons "SelectName" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PrefixExp a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Name a)))))) | |||||
Constructors
| NormalFunCall a (PrefixExp a) (FunArg a) | prefixexp ( funarg ) |
| MethodCall a (PrefixExp a) (Name a) (FunArg a) | prefixexp : name ( funarg ) |
Instances
| Functor FunCall Source # | |||||
| Annotated FunCall Source # | |||||
| Data a => Data (FunCall a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunCall a -> c (FunCall a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (FunCall a) # toConstr :: FunCall a -> Constr # dataTypeOf :: FunCall a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (FunCall a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (FunCall a)) # gmapT :: (forall b. Data b => b -> b) -> FunCall a -> FunCall a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunCall a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunCall a -> r # gmapQ :: (forall d. Data d => d -> u) -> FunCall a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FunCall a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunCall a -> m (FunCall a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunCall a -> m (FunCall a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunCall a -> m (FunCall a) # | |||||
| Generic (FunCall a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Associated Types
| |||||
| Show a => Show (FunCall a) Source # | |||||
| NFData a => NFData (FunCall a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax | |||||
| Eq a => Eq (FunCall a) Source # | |||||
| type Rep (FunCall a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax type Rep (FunCall a) = D1 ('MetaData "FunCall" "Language.Lua.Annotated.Syntax" "language-lua-0.11.0.2-FVugoMfr54VGduKaJckg0v" 'False) (C1 ('MetaCons "NormalFunCall" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PrefixExp a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (FunArg a)))) :+: C1 ('MetaCons "MethodCall" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (PrefixExp a))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Name a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (FunArg a))))) | |||||
A block is list of statements with optional return statement.
Instances
| Functor Block Source # | |||||
| Annotated Block Source # | |||||
| Data a => Data (Block a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Block a -> c (Block a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Block a) # toConstr :: Block a -> Constr # dataTypeOf :: Block a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Block a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Block a)) # gmapT :: (forall b. Data b => b -> b) -> Block a -> Block a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Block a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Block a -> r # gmapQ :: (forall d. Data d => d -> u) -> Block a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Block a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Block a -> m (Block a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Block a -> m (Block a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Block a -> m (Block a) # | |||||
| Generic (Block a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Associated Types
| |||||
| Show a => Show (Block a) Source # | |||||
| NFData a => NFData (Block a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax | |||||
| Eq a => Eq (Block a) Source # | |||||
| type Rep (Block a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax type Rep (Block a) = D1 ('MetaData "Block" "Language.Lua.Annotated.Syntax" "language-lua-0.11.0.2-FVugoMfr54VGduKaJckg0v" 'False) (C1 ('MetaCons "Block" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Stat a]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Exp a]))))) | |||||
Instances
| Functor FunName Source # | |||||
| Annotated FunName Source # | |||||
| Data a => Data (FunName a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunName a -> c (FunName a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (FunName a) # toConstr :: FunName a -> Constr # dataTypeOf :: FunName a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (FunName a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (FunName a)) # gmapT :: (forall b. Data b => b -> b) -> FunName a -> FunName a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunName a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunName a -> r # gmapQ :: (forall d. Data d => d -> u) -> FunName a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FunName a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunName a -> m (FunName a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunName a -> m (FunName a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunName a -> m (FunName a) # | |||||
| Generic (FunName a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Associated Types
| |||||
| Show a => Show (FunName a) Source # | |||||
| NFData a => NFData (FunName a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax | |||||
| Eq a => Eq (FunName a) Source # | |||||
| type Rep (FunName a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax type Rep (FunName a) = D1 ('MetaData "FunName" "Language.Lua.Annotated.Syntax" "language-lua-0.11.0.2-FVugoMfr54VGduKaJckg0v" 'False) (C1 ('MetaCons "FunName" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Name a))) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Name a]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe (Name a)))))) | |||||
Instances
| Functor FunBody Source # | |||||
| Annotated FunBody Source # | |||||
| Data a => Data (FunBody a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunBody a -> c (FunBody a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (FunBody a) # toConstr :: FunBody a -> Constr # dataTypeOf :: FunBody a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (FunBody a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (FunBody a)) # gmapT :: (forall b. Data b => b -> b) -> FunBody a -> FunBody a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunBody a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunBody a -> r # gmapQ :: (forall d. Data d => d -> u) -> FunBody a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FunBody a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunBody a -> m (FunBody a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunBody a -> m (FunBody a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunBody a -> m (FunBody a) # | |||||
| Generic (FunBody a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Associated Types
| |||||
| Show a => Show (FunBody a) Source # | |||||
| NFData a => NFData (FunBody a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax | |||||
| Eq a => Eq (FunBody a) Source # | |||||
| type Rep (FunBody a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax type Rep (FunBody a) = D1 ('MetaData "FunBody" "Language.Lua.Annotated.Syntax" "language-lua-0.11.0.2-FVugoMfr54VGduKaJckg0v" 'False) (C1 ('MetaCons "FunBody" 'PrefixI 'False) ((S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Name a])) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Block a))))) | |||||
data TableField a Source #
Constructors
| ExpField a (Exp a) (Exp a) | [exp] = exp |
| NamedField a (Name a) (Exp a) | name = exp |
| Field a (Exp a) |
Instances
| Functor TableField Source # | |||||
Defined in Language.Lua.Annotated.Syntax Methods fmap :: (a -> b) -> TableField a -> TableField b # (<$) :: a -> TableField b -> TableField a # | |||||
| Annotated TableField Source # | |||||
Defined in Language.Lua.Annotated.Syntax | |||||
| Data a => Data (TableField a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TableField a -> c (TableField a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (TableField a) # toConstr :: TableField a -> Constr # dataTypeOf :: TableField a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (TableField a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (TableField a)) # gmapT :: (forall b. Data b => b -> b) -> TableField a -> TableField a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TableField a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TableField a -> r # gmapQ :: (forall d. Data d => d -> u) -> TableField a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> TableField a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> TableField a -> m (TableField a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TableField a -> m (TableField a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TableField a -> m (TableField a) # | |||||
| Generic (TableField a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Associated Types
| |||||
| Show a => Show (TableField a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Methods showsPrec :: Int -> TableField a -> ShowS # show :: TableField a -> String # showList :: [TableField a] -> ShowS # | |||||
| NFData a => NFData (TableField a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Methods rnf :: TableField a -> () # | |||||
| Eq a => Eq (TableField a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax | |||||
| type Rep (TableField a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax type Rep (TableField a) = D1 ('MetaData "TableField" "Language.Lua.Annotated.Syntax" "language-lua-0.11.0.2-FVugoMfr54VGduKaJckg0v" 'False) (C1 ('MetaCons "ExpField" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Exp a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Exp a)))) :+: (C1 ('MetaCons "NamedField" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Name a)) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Exp a)))) :+: C1 ('MetaCons "Field" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Exp a))))) | |||||
Instances
| Functor FunArg Source # | |||||
| Annotated FunArg Source # | |||||
| Data a => Data (FunArg a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunArg a -> c (FunArg a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (FunArg a) # toConstr :: FunArg a -> Constr # dataTypeOf :: FunArg a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (FunArg a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (FunArg a)) # gmapT :: (forall b. Data b => b -> b) -> FunArg a -> FunArg a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunArg a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunArg a -> r # gmapQ :: (forall d. Data d => d -> u) -> FunArg a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FunArg a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunArg a -> m (FunArg a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunArg a -> m (FunArg a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunArg a -> m (FunArg a) # | |||||
| Generic (FunArg a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Associated Types
| |||||
| Show a => Show (FunArg a) Source # | |||||
| NFData a => NFData (FunArg a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax | |||||
| Eq a => Eq (FunArg a) Source # | |||||
| type Rep (FunArg a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax type Rep (FunArg a) = D1 ('MetaData "FunArg" "Language.Lua.Annotated.Syntax" "language-lua-0.11.0.2-FVugoMfr54VGduKaJckg0v" 'False) (C1 ('MetaCons "Args" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Exp a])) :+: (C1 ('MetaCons "TableArg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Table a))) :+: C1 ('MetaCons "StringArg" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))) | |||||
Instances
| Functor FunDef Source # | |||||
| Annotated FunDef Source # | |||||
| Data a => Data (FunDef a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunDef a -> c (FunDef a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (FunDef a) # toConstr :: FunDef a -> Constr # dataTypeOf :: FunDef a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (FunDef a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (FunDef a)) # gmapT :: (forall b. Data b => b -> b) -> FunDef a -> FunDef a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunDef a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunDef a -> r # gmapQ :: (forall d. Data d => d -> u) -> FunDef a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> FunDef a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunDef a -> m (FunDef a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunDef a -> m (FunDef a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunDef a -> m (FunDef a) # | |||||
| Generic (FunDef a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax Associated Types
| |||||
| Show a => Show (FunDef a) Source # | |||||
| NFData a => NFData (FunDef a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax | |||||
| Eq a => Eq (FunDef a) Source # | |||||
| type Rep (FunDef a) Source # | |||||
Defined in Language.Lua.Annotated.Syntax type Rep (FunDef a) = D1 ('MetaData "FunDef" "Language.Lua.Annotated.Syntax" "language-lua-0.11.0.2-FVugoMfr54VGduKaJckg0v" 'False) (C1 ('MetaCons "FunDef" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (FunBody a)))) | |||||
data NumberType Source #
Instances
| Data NumberType Source # | |||||
Defined in Language.Lua.Utils Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NumberType -> c NumberType # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NumberType # toConstr :: NumberType -> Constr # dataTypeOf :: NumberType -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NumberType) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NumberType) # gmapT :: (forall b. Data b => b -> b) -> NumberType -> NumberType # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NumberType -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NumberType -> r # gmapQ :: (forall d. Data d => d -> u) -> NumberType -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> NumberType -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> NumberType -> m NumberType # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NumberType -> m NumberType # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NumberType -> m NumberType # | |||||
| Generic NumberType Source # | |||||
Defined in Language.Lua.Utils Associated Types
| |||||
| Show NumberType Source # | |||||
Defined in Language.Lua.Utils Methods showsPrec :: Int -> NumberType -> ShowS # show :: NumberType -> String # showList :: [NumberType] -> ShowS # | |||||
| NFData NumberType Source # | |||||
Defined in Language.Lua.Utils Methods rnf :: NumberType -> () # | |||||
| Eq NumberType Source # | |||||
Defined in Language.Lua.Utils | |||||
| type Rep NumberType Source # | |||||