Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
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
- class Functor ast => Annotated ast where
- data FunArg a
- data FunCall a
- = NormalFunCall a (PrefixExp a) (FunArg a)
- | MethodCall a (PrefixExp a) (Name a) (FunArg a)
- data FunBody a = FunBody a [Name a] (Maybe a) (Block a)
- data FunDef a = FunDef a (FunBody a)
- data FunName a = FunName a (Name a) [Name a] (Maybe (Name a))
- data Block a = Block a [Stat a] (Maybe [Exp a])
- data TableField a
- data Table a = Table a [TableField a]
- data PrefixExp a
- data Unop a
- = Neg a
- | Not a
- | Len a
- | Complement a
- data Binop a
- data Var a
- data Exp a
- 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 Name a = Name a Text
- data NumberType
Documentation
class Functor ast => Annotated ast where Source #
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 FunArg Source # | |
Annotated FunCall Source # | |
Annotated FunBody Source # | |
Annotated FunDef Source # | |
Annotated FunName Source # | |
Annotated Block Source # | |
Annotated TableField Source # | |
Defined in Language.Lua.Annotated.Syntax ann :: TableField l -> l Source # amap :: (l -> l) -> TableField l -> TableField l Source # | |
Annotated Table Source # | |
Annotated PrefixExp Source # | |
Annotated Unop Source # | |
Annotated Binop Source # | |
Annotated Var Source # | |
Annotated Exp Source # | |
Annotated Stat Source # | |
Annotated Name Source # | |
Instances
NormalFunCall a (PrefixExp a) (FunArg a) | prefixexp ( funarg ) |
MethodCall a (PrefixExp a) (Name a) (FunArg a) | prefixexp : name ( funarg ) |
Instances
Instances
Functor FunBody Source # | |
Annotated FunBody Source # | |
Eq a => Eq (FunBody a) Source # | |
Data a => Data (FunBody a) Source # | |
Defined in Language.Lua.Annotated.Syntax 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 :: (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) # | |
Show a => Show (FunBody a) Source # | |
Generic (FunBody a) Source # | |
NFData a => NFData (FunBody a) Source # | |
Defined in Language.Lua.Annotated.Syntax | |
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.1-LGCxWe6LSma1uJYm3xYR9F" 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))))) |
Instances
Functor FunDef Source # | |
Annotated FunDef Source # | |
Eq a => Eq (FunDef a) Source # | |
Data a => Data (FunDef a) Source # | |
Defined in Language.Lua.Annotated.Syntax 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 :: (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) # | |
Show a => Show (FunDef a) Source # | |
Generic (FunDef a) Source # | |
NFData a => NFData (FunDef a) Source # | |
Defined in Language.Lua.Annotated.Syntax | |
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.1-LGCxWe6LSma1uJYm3xYR9F" 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)))) |
Instances
Functor FunName Source # | |
Annotated FunName Source # | |
Eq a => Eq (FunName a) Source # | |
Data a => Data (FunName a) Source # | |
Defined in Language.Lua.Annotated.Syntax 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 :: (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) # | |
Show a => Show (FunName a) Source # | |
Generic (FunName a) Source # | |
NFData a => NFData (FunName a) Source # | |
Defined in Language.Lua.Annotated.Syntax | |
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.1-LGCxWe6LSma1uJYm3xYR9F" 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)))))) |
A block is list of statements with optional return statement.
Instances
Functor Block Source # | |
Annotated Block Source # | |
Eq a => Eq (Block a) Source # | |
Data a => Data (Block a) Source # | |
Defined in Language.Lua.Annotated.Syntax 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 :: (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) # | |
Show a => Show (Block a) Source # | |
Generic (Block a) Source # | |
NFData a => NFData (Block a) Source # | |
Defined in Language.Lua.Annotated.Syntax | |
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.1-LGCxWe6LSma1uJYm3xYR9F" 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]))))) |
data TableField a Source #
Instances
Table a [TableField a] | list of table fields |
Instances
Functor Table Source # | |
Annotated Table Source # | |
Eq a => Eq (Table a) Source # | |
Data a => Data (Table a) Source # | |
Defined in Language.Lua.Annotated.Syntax 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 :: (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) # | |
Show a => Show (Table a) Source # | |
Generic (Table a) Source # | |
NFData a => NFData (Table a) Source # | |
Defined in Language.Lua.Annotated.Syntax | |
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.1-LGCxWe6LSma1uJYm3xYR9F" 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
Neg a | |
Not a | |
Len a | |
Complement a |
Instances
Functor Unop Source # | |
Annotated Unop Source # | |
Eq a => Eq (Unop a) Source # | |
Data a => Data (Unop a) Source # | |
Defined in Language.Lua.Annotated.Syntax 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 :: (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) # | |
Show a => Show (Unop a) Source # | |
Generic (Unop a) Source # | |
NFData a => NFData (Unop a) Source # | |
Defined in Language.Lua.Annotated.Syntax | |
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.1-LGCxWe6LSma1uJYm3xYR9F" 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)))) |
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
VarName a (Name a) | variable |
Select a (PrefixExp a) (Exp a) | table[exp] |
SelectName a (PrefixExp a) (Name a) | table.variable |
Instances
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
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 Name Source # | |
Annotated Name Source # | |
Eq a => Eq (Name a) Source # | |
Data a => Data (Name a) Source # | |
Defined in Language.Lua.Annotated.Syntax 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 :: (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) # | |
Show a => Show (Name a) Source # | |
Generic (Name a) Source # | |
NFData a => NFData (Name a) Source # | |
Defined in Language.Lua.Annotated.Syntax | |
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.1-LGCxWe6LSma1uJYm3xYR9F" 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))) |
data NumberType Source #
Instances
Eq NumberType Source # | |
Defined in Language.Lua.Utils (==) :: NumberType -> NumberType -> Bool # (/=) :: NumberType -> NumberType -> Bool # | |
Data NumberType Source # | |
Defined in Language.Lua.Utils 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 :: (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 # | |
Show NumberType Source # | |
Defined in Language.Lua.Utils showsPrec :: Int -> NumberType -> ShowS # show :: NumberType -> String # showList :: [NumberType] -> ShowS # | |
Generic NumberType Source # | |
Defined in Language.Lua.Utils type Rep NumberType :: Type -> Type # from :: NumberType -> Rep NumberType x # to :: Rep NumberType x -> NumberType # | |
NFData NumberType Source # | |
Defined in Language.Lua.Utils rnf :: NumberType -> () # | |
type Rep NumberType Source # | |