Language.Lua.Syntax

Lua 5.3 syntax tree, as specified in http://www.lua.org/manual/5.3/manual.html#9.

Documentation

data FunArg

Constructors

Args [Exp]

list of args

TableArg [TableField]

table constructor

StringArg Text

string

Instances

Eq FunArg

Defined in Language.Lua.Syntax

Methods

(==) :: FunArg -> FunArg -> Bool

(/=) :: FunArg -> FunArg -> Bool

Data FunArg

Defined in Language.Lua.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunArg -> c FunArg

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FunArg

toConstr :: FunArg -> Constr

dataTypeOf :: FunArg -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FunArg)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FunArg)

gmapT :: (forall b. Data b => b -> b) -> FunArg -> FunArg

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunArg -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunArg -> r

gmapQ :: (forall d. Data d => d -> u) -> FunArg -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FunArg -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunArg -> m FunArg

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunArg -> m FunArg

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunArg -> m FunArg

Show FunArg

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> FunArg -> ShowS

show :: FunArg -> String

showList :: [FunArg] -> ShowS

Generic FunArg

Defined in Language.Lua.Syntax

Associated Types

type Rep FunArg :: Type -> Type

Methods

from :: FunArg -> Rep FunArg x

to :: Rep FunArg x -> FunArg

NFData FunArg

Defined in Language.Lua.Syntax

Methods

rnf :: FunArg -> ()

LPretty FunArg

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: FunArg -> Doc

pprint' :: Precedence -> FunArg -> Doc

type Rep FunArg

Defined in Language.Lua.Syntax

type Rep FunArg = D1 (MetaData "FunArg" "Language.Lua.Syntax" "language-lua-0.11.0.1-LGCxWe6LSma1uJYm3xYR9F" False) (C1 (MetaCons "Args" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Exp])) :+: (C1 (MetaCons "TableArg" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TableField])) :+: C1 (MetaCons "StringArg" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text))))

data FunCall

Constructors

NormalFunCall PrefixExp FunArg

prefixexp ( funarg )

MethodCall PrefixExp Name FunArg

prefixexp : name ( funarg )

Instances

Eq FunCall

Defined in Language.Lua.Syntax

Methods

(==) :: FunCall -> FunCall -> Bool

(/=) :: FunCall -> FunCall -> Bool

Data FunCall

Defined in Language.Lua.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunCall -> c FunCall

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FunCall

toConstr :: FunCall -> Constr

dataTypeOf :: FunCall -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FunCall)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FunCall)

gmapT :: (forall b. Data b => b -> b) -> FunCall -> FunCall

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunCall -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunCall -> r

gmapQ :: (forall d. Data d => d -> u) -> FunCall -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FunCall -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunCall -> m FunCall

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunCall -> m FunCall

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunCall -> m FunCall

Show FunCall

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> FunCall -> ShowS

show :: FunCall -> String

showList :: [FunCall] -> ShowS

Generic FunCall

Defined in Language.Lua.Syntax

Associated Types

type Rep FunCall :: Type -> Type

Methods

from :: FunCall -> Rep FunCall x

to :: Rep FunCall x -> FunCall

NFData FunCall

Defined in Language.Lua.Syntax

Methods

rnf :: FunCall -> ()

LPretty FunCall

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: FunCall -> Doc

pprint' :: Precedence -> FunCall -> Doc

type Rep FunCall

Defined in Language.Lua.Syntax

type Rep FunCall = D1 (MetaData "FunCall" "Language.Lua.Syntax" "language-lua-0.11.0.1-LGCxWe6LSma1uJYm3xYR9F" False) (C1 (MetaCons "NormalFunCall" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PrefixExp) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FunArg)) :+: C1 (MetaCons "MethodCall" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PrefixExp) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FunArg))))

data FunBody

Constructors

FunBody [Name] Bool Block

(args, vararg, block)

Instances

Eq FunBody

Defined in Language.Lua.Syntax

Methods

(==) :: FunBody -> FunBody -> Bool

(/=) :: FunBody -> FunBody -> Bool

Data FunBody

Defined in Language.Lua.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunBody -> c FunBody

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FunBody

toConstr :: FunBody -> Constr

dataTypeOf :: FunBody -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FunBody)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FunBody)

gmapT :: (forall b. Data b => b -> b) -> FunBody -> FunBody

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunBody -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunBody -> r

gmapQ :: (forall d. Data d => d -> u) -> FunBody -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FunBody -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunBody -> m FunBody

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunBody -> m FunBody

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunBody -> m FunBody

Show FunBody

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> FunBody -> ShowS

show :: FunBody -> String

showList :: [FunBody] -> ShowS

Generic FunBody

Defined in Language.Lua.Syntax

Associated Types

type Rep FunBody :: Type -> Type

Methods

from :: FunBody -> Rep FunBody x

to :: Rep FunBody x -> FunBody

NFData FunBody

Defined in Language.Lua.Syntax

Methods

rnf :: FunBody -> ()

LPretty FunBody

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: FunBody -> Doc

pprint' :: Precedence -> FunBody -> Doc

type Rep FunBody

Defined in Language.Lua.Syntax

type Rep FunBody = D1 (MetaData "FunBody" "Language.Lua.Syntax" "language-lua-0.11.0.1-LGCxWe6LSma1uJYm3xYR9F" False) (C1 (MetaCons "FunBody" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Name]) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Block))))

data FunName

Constructors

FunName Name [Name] (Maybe Name)

Instances

Eq FunName

Defined in Language.Lua.Syntax

Methods

(==) :: FunName -> FunName -> Bool

(/=) :: FunName -> FunName -> Bool

Data FunName

Defined in Language.Lua.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FunName -> c FunName

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FunName

toConstr :: FunName -> Constr

dataTypeOf :: FunName -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FunName)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FunName)

gmapT :: (forall b. Data b => b -> b) -> FunName -> FunName

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FunName -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FunName -> r

gmapQ :: (forall d. Data d => d -> u) -> FunName -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> FunName -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FunName -> m FunName

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FunName -> m FunName

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FunName -> m FunName

Show FunName

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> FunName -> ShowS

show :: FunName -> String

showList :: [FunName] -> ShowS

Generic FunName

Defined in Language.Lua.Syntax

Associated Types

type Rep FunName :: Type -> Type

Methods

from :: FunName -> Rep FunName x

to :: Rep FunName x -> FunName

NFData FunName

Defined in Language.Lua.Syntax

Methods

rnf :: FunName -> ()

LPretty FunName

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: FunName -> Doc

pprint' :: Precedence -> FunName -> Doc

type Rep FunName

Defined in Language.Lua.Syntax

type Rep FunName = D1 (MetaData "FunName" "Language.Lua.Syntax" "language-lua-0.11.0.1-LGCxWe6LSma1uJYm3xYR9F" False) (C1 (MetaCons "FunName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Name]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Name)))))

data Block

A block is list of statements with optional return statement.

Constructors

Block [Stat] (Maybe [Exp])

Instances

Eq Block

Defined in Language.Lua.Syntax

Methods

(==) :: Block -> Block -> Bool

(/=) :: Block -> Block -> Bool

Data Block

Defined in Language.Lua.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Block -> c Block

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Block

toConstr :: Block -> Constr

dataTypeOf :: Block -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Block)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Block)

gmapT :: (forall b. Data b => b -> b) -> Block -> Block

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Block -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Block -> r

gmapQ :: (forall d. Data d => d -> u) -> Block -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Block -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Block -> m Block

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Block -> m Block

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Block -> m Block

Show Block

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> Block -> ShowS

show :: Block -> String

showList :: [Block] -> ShowS

Generic Block

Defined in Language.Lua.Syntax

Associated Types

type Rep Block :: Type -> Type

Methods

from :: Block -> Rep Block x

to :: Rep Block x -> Block

NFData Block

Defined in Language.Lua.Syntax

Methods

rnf :: Block -> ()

LPretty Block

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: Block -> Doc

pprint' :: Precedence -> Block -> Doc

type Rep Block

Defined in Language.Lua.Syntax

type Rep Block = D1 (MetaData "Block" "Language.Lua.Syntax" "language-lua-0.11.0.1-LGCxWe6LSma1uJYm3xYR9F" False) (C1 (MetaCons "Block" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Stat]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Exp]))))

data TableField

Constructors

ExpField Exp Exp

[exp] = exp

NamedField Name Exp

name = exp

Field Exp

Instances

Eq TableField

Defined in Language.Lua.Syntax

Methods

(==) :: TableField -> TableField -> Bool

(/=) :: TableField -> TableField -> Bool

Data TableField

Defined in Language.Lua.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TableField -> c TableField

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TableField

toConstr :: TableField -> Constr

dataTypeOf :: TableField -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TableField)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TableField)

gmapT :: (forall b. Data b => b -> b) -> TableField -> TableField

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TableField -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TableField -> r

gmapQ :: (forall d. Data d => d -> u) -> TableField -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> TableField -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TableField -> m TableField

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TableField -> m TableField

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TableField -> m TableField

Show TableField

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> TableField -> ShowS

show :: TableField -> String

showList :: [TableField] -> ShowS

Generic TableField

Defined in Language.Lua.Syntax

Associated Types

type Rep TableField :: Type -> Type

Methods

from :: TableField -> Rep TableField x

to :: Rep TableField x -> TableField

NFData TableField

Defined in Language.Lua.Syntax

Methods

rnf :: TableField -> ()

LPretty TableField

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: TableField -> Doc

pprint' :: Precedence -> TableField -> Doc

LPretty [TableField]

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: [TableField] -> Doc

pprint' :: Precedence -> [TableField] -> Doc

type Rep TableField

Defined in Language.Lua.Syntax

type Rep TableField = D1 (MetaData "TableField" "Language.Lua.Syntax" "language-lua-0.11.0.1-LGCxWe6LSma1uJYm3xYR9F" False) (C1 (MetaCons "ExpField" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) :+: (C1 (MetaCons "NamedField" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) :+: C1 (MetaCons "Field" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))

data PrefixExp

Constructors

PEVar Var

PEFunCall FunCall

Paren Exp

Instances

Eq PrefixExp

Defined in Language.Lua.Syntax

Methods

(==) :: PrefixExp -> PrefixExp -> Bool

(/=) :: PrefixExp -> PrefixExp -> Bool

Data PrefixExp

Defined in Language.Lua.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> PrefixExp -> c PrefixExp

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c PrefixExp

toConstr :: PrefixExp -> Constr

dataTypeOf :: PrefixExp -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c PrefixExp)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c PrefixExp)

gmapT :: (forall b. Data b => b -> b) -> PrefixExp -> PrefixExp

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> PrefixExp -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> PrefixExp -> r

gmapQ :: (forall d. Data d => d -> u) -> PrefixExp -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> PrefixExp -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> PrefixExp -> m PrefixExp

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> PrefixExp -> m PrefixExp

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> PrefixExp -> m PrefixExp

Show PrefixExp

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> PrefixExp -> ShowS

show :: PrefixExp -> String

showList :: [PrefixExp] -> ShowS

Generic PrefixExp

Defined in Language.Lua.Syntax

Associated Types

type Rep PrefixExp :: Type -> Type

Methods

from :: PrefixExp -> Rep PrefixExp x

to :: Rep PrefixExp x -> PrefixExp

NFData PrefixExp

Defined in Language.Lua.Syntax

Methods

rnf :: PrefixExp -> ()

LPretty PrefixExp

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: PrefixExp -> Doc

pprint' :: Precedence -> PrefixExp -> Doc

type Rep PrefixExp

Defined in Language.Lua.Syntax

type Rep PrefixExp = D1 (MetaData "PrefixExp" "Language.Lua.Syntax" "language-lua-0.11.0.1-LGCxWe6LSma1uJYm3xYR9F" False) (C1 (MetaCons "PEVar" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Var)) :+: (C1 (MetaCons "PEFunCall" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FunCall)) :+: C1 (MetaCons "Paren" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))

data Unop

Constructors

Neg

Not

Len

Complement

Instances

Eq Unop

Defined in Language.Lua.Syntax

Methods

(==) :: Unop -> Unop -> Bool

(/=) :: Unop -> Unop -> Bool

Data Unop

Defined in Language.Lua.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Unop -> c Unop

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Unop

toConstr :: Unop -> Constr

dataTypeOf :: Unop -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Unop)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Unop)

gmapT :: (forall b. Data b => b -> b) -> Unop -> Unop

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Unop -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Unop -> r

gmapQ :: (forall d. Data d => d -> u) -> Unop -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Unop -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Unop -> m Unop

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Unop -> m Unop

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Unop -> m Unop

Show Unop

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> Unop -> ShowS

show :: Unop -> String

showList :: [Unop] -> ShowS

Generic Unop

Defined in Language.Lua.Syntax

Associated Types

type Rep Unop :: Type -> Type

Methods

from :: Unop -> Rep Unop x

to :: Rep Unop x -> Unop

NFData Unop

Defined in Language.Lua.Syntax

Methods

rnf :: Unop -> ()

LPretty Unop

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: Unop -> Doc

pprint' :: Precedence -> Unop -> Doc

type Rep Unop

Defined in Language.Lua.Syntax

type Rep Unop = D1 (MetaData "Unop" "Language.Lua.Syntax" "language-lua-0.11.0.1-LGCxWe6LSma1uJYm3xYR9F" False) ((C1 (MetaCons "Neg" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Not" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "Len" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Complement" PrefixI False) (U1 :: Type -> Type)))

data Binop

Constructors

Add

Sub

Mul

Div

Exp

Mod

Concat

LT

LTE

GT

GTE

EQ

NEQ

And

Or

IDiv

ShiftL

ShiftR

BAnd

BOr

BXor

Instances

Eq Binop

Defined in Language.Lua.Syntax

Methods

(==) :: Binop -> Binop -> Bool

(/=) :: Binop -> Binop -> Bool

Data Binop

Defined in Language.Lua.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Binop -> c Binop

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Binop

toConstr :: Binop -> Constr

dataTypeOf :: Binop -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Binop)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Binop)

gmapT :: (forall b. Data b => b -> b) -> Binop -> Binop

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Binop -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Binop -> r

gmapQ :: (forall d. Data d => d -> u) -> Binop -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Binop -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Binop -> m Binop

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Binop -> m Binop

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Binop -> m Binop

Show Binop

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> Binop -> ShowS

show :: Binop -> String

showList :: [Binop] -> ShowS

Generic Binop

Defined in Language.Lua.Syntax

Associated Types

type Rep Binop :: Type -> Type

Methods

from :: Binop -> Rep Binop x

to :: Rep Binop x -> Binop

NFData Binop

Defined in Language.Lua.Syntax

Methods

rnf :: Binop -> ()

LPretty Binop

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: Binop -> Doc

pprint' :: Precedence -> Binop -> Doc

type Rep Binop

Defined in Language.Lua.Syntax

type Rep Binop = D1 (MetaData "Binop" "Language.Lua.Syntax" "language-lua-0.11.0.1-LGCxWe6LSma1uJYm3xYR9F" False) ((((C1 (MetaCons "Add" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Sub" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "Mul" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "Div" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Exp" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "Mod" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Concat" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "LT" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "LTE" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "GT" PrefixI False) (U1 :: Type -> Type))))) :+: (((C1 (MetaCons "GTE" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "EQ" PrefixI False) (U1 :: Type -> Type)) :+: (C1 (MetaCons "NEQ" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "And" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Or" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "IDiv" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "ShiftL" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "ShiftR" PrefixI False) (U1 :: Type -> Type))) :+: (C1 (MetaCons "BAnd" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "BOr" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "BXor" PrefixI False) (U1 :: Type -> Type))))))

data Var

Constructors

VarName Name

variable

Select PrefixExp Exp

table[exp]

SelectName PrefixExp Name

table.variable

Instances

Eq Var

Defined in Language.Lua.Syntax

Methods

(==) :: Var -> Var -> Bool

(/=) :: Var -> Var -> Bool

Data Var

Defined in Language.Lua.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Var -> c Var

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Var

toConstr :: Var -> Constr

dataTypeOf :: Var -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Var)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Var)

gmapT :: (forall b. Data b => b -> b) -> Var -> Var

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Var -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Var -> r

gmapQ :: (forall d. Data d => d -> u) -> Var -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Var -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Var -> m Var

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Var -> m Var

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Var -> m Var

Show Var

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> Var -> ShowS

show :: Var -> String

showList :: [Var] -> ShowS

Generic Var

Defined in Language.Lua.Syntax

Associated Types

type Rep Var :: Type -> Type

Methods

from :: Var -> Rep Var x

to :: Rep Var x -> Var

NFData Var

Defined in Language.Lua.Syntax

Methods

rnf :: Var -> ()

LPretty Var

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: Var -> Doc

pprint' :: Precedence -> Var -> Doc

type Rep Var

Defined in Language.Lua.Syntax

type Rep Var = D1 (MetaData "Var" "Language.Lua.Syntax" "language-lua-0.11.0.1-LGCxWe6LSma1uJYm3xYR9F" False) (C1 (MetaCons "VarName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name)) :+: (C1 (MetaCons "Select" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PrefixExp) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) :+: C1 (MetaCons "SelectName" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PrefixExp) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name))))

data Exp

Constructors

Nil

Bool Bool

Number NumberType Text

String Text

Vararg

...

EFunDef FunBody

function (..) .. end

PrefixExp PrefixExp

TableConst [TableField]

table constructor

Binop Binop Exp Exp

binary operators, + - * ^ % .. <= >= == ~= and or

Unop Unop Exp

unary operators, - not #

Instances

Eq Exp

Defined in Language.Lua.Syntax

Methods

(==) :: Exp -> Exp -> Bool

(/=) :: Exp -> Exp -> Bool

Data Exp

Defined in Language.Lua.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Exp -> c Exp

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Exp

toConstr :: Exp -> Constr

dataTypeOf :: Exp -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Exp)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Exp)

gmapT :: (forall b. Data b => b -> b) -> Exp -> Exp

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Exp -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Exp -> r

gmapQ :: (forall d. Data d => d -> u) -> Exp -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Exp -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Exp -> m Exp

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Exp -> m Exp

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Exp -> m Exp

Show Exp

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> Exp -> ShowS

show :: Exp -> String

showList :: [Exp] -> ShowS

Generic Exp

Defined in Language.Lua.Syntax

Associated Types

type Rep Exp :: Type -> Type

Methods

from :: Exp -> Rep Exp x

to :: Rep Exp x -> Exp

NFData Exp

Defined in Language.Lua.Syntax

Methods

rnf :: Exp -> ()

LPretty Exp

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: Exp -> Doc

pprint' :: Precedence -> Exp -> Doc

type Rep Exp

Defined in Language.Lua.Syntax

type Rep Exp = D1 (MetaData "Exp" "Language.Lua.Syntax" "language-lua-0.11.0.1-LGCxWe6LSma1uJYm3xYR9F" False) (((C1 (MetaCons "Nil" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Bool" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Bool))) :+: (C1 (MetaCons "Number" PrefixI False) (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 Text)) :+: C1 (MetaCons "Vararg" PrefixI False) (U1 :: Type -> Type)))) :+: ((C1 (MetaCons "EFunDef" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FunBody)) :+: C1 (MetaCons "PrefixExp" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 PrefixExp))) :+: (C1 (MetaCons "TableConst" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [TableField])) :+: (C1 (MetaCons "Binop" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Binop) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))) :+: C1 (MetaCons "Unop" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Unop) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp))))))

data Stat

Constructors

Assign [Var] [Exp]

var1, var2 .. = exp1, exp2 ..

FunCall FunCall

function call

Label Name

label for goto

Break

break

Goto Name

goto label

Do Block

do .. end

While Exp Block

while .. do .. end

Repeat Block Exp

repeat .. until ..

If [(Exp, Block)] (Maybe Block)

if .. then .. [elseif ..] [else ..] end

ForRange Name Exp Exp (Maybe Exp) Block

for x=start, end [, step] do .. end

ForIn [Name] [Exp] Block

for x in .. do .. end

FunAssign FunName FunBody

function <var> (..) .. end

LocalFunAssign Name FunBody

local function <var> (..) .. end

LocalAssign [Name] (Maybe [Exp])

local var1, var2 .. = exp1, exp2 ..

EmptyStat

;

Instances

Eq Stat

Defined in Language.Lua.Syntax

Methods

(==) :: Stat -> Stat -> Bool

(/=) :: Stat -> Stat -> Bool

Data Stat

Defined in Language.Lua.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Stat -> c Stat

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Stat

toConstr :: Stat -> Constr

dataTypeOf :: Stat -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Stat)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Stat)

gmapT :: (forall b. Data b => b -> b) -> Stat -> Stat

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Stat -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Stat -> r

gmapQ :: (forall d. Data d => d -> u) -> Stat -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Stat -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Stat -> m Stat

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Stat -> m Stat

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Stat -> m Stat

Show Stat

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> Stat -> ShowS

show :: Stat -> String

showList :: [Stat] -> ShowS

Generic Stat

Defined in Language.Lua.Syntax

Associated Types

type Rep Stat :: Type -> Type

Methods

from :: Stat -> Rep Stat x

to :: Rep Stat x -> Stat

NFData Stat

Defined in Language.Lua.Syntax

Methods

rnf :: Stat -> ()

LPretty Stat

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: Stat -> Doc

pprint' :: Precedence -> Stat -> Doc

type Rep Stat

Defined in Language.Lua.Syntax

type Rep Stat = D1 (MetaData "Stat" "Language.Lua.Syntax" "language-lua-0.11.0.1-LGCxWe6LSma1uJYm3xYR9F" False) (((C1 (MetaCons "Assign" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Var]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Exp])) :+: (C1 (MetaCons "FunCall" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FunCall)) :+: C1 (MetaCons "Label" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name)))) :+: ((C1 (MetaCons "Break" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "Goto" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name))) :+: (C1 (MetaCons "Do" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Block)) :+: C1 (MetaCons "While" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Block))))) :+: (((C1 (MetaCons "Repeat" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Block) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) :+: C1 (MetaCons "If" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [(Exp, Block)]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Block)))) :+: (C1 (MetaCons "ForRange" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp)) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Exp) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe Exp)) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Block)))) :+: C1 (MetaCons "ForIn" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Name]) :*: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Exp]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Block))))) :+: ((C1 (MetaCons "FunAssign" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FunName) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FunBody)) :+: C1 (MetaCons "LocalFunAssign" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Name) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 FunBody))) :+: (C1 (MetaCons "LocalAssign" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [Name]) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 (Maybe [Exp]))) :+: C1 (MetaCons "EmptyStat" PrefixI False) (U1 :: Type -> Type)))))

newtype Name

Constructors

Name Text

Instances

Eq Name

Defined in Language.Lua.Syntax

Methods

(==) :: Name -> Name -> Bool

(/=) :: Name -> Name -> Bool

Data Name

Defined in Language.Lua.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Name -> c Name

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Name

toConstr :: Name -> Constr

dataTypeOf :: Name -> DataType

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Name)

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Name)

gmapT :: (forall b. Data b => b -> b) -> Name -> Name

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Name -> r

gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Name -> r

gmapQ :: (forall d. Data d => d -> u) -> Name -> [u]

gmapQi :: Int -> (forall d. Data d => d -> u) -> Name -> u

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Name -> m Name

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Name -> m Name

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Name -> m Name

Show Name

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> Name -> ShowS

show :: Name -> String

showList :: [Name] -> ShowS

Generic Name

Defined in Language.Lua.Syntax

Associated Types

type Rep Name :: Type -> Type

Methods

from :: Name -> Rep Name x

to :: Rep Name x -> Name

NFData Name

Defined in Language.Lua.Syntax

Methods

rnf :: Name -> ()

LPretty Name

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: Name -> Doc

pprint' :: Precedence -> Name -> Doc

type Rep Name

Defined in Language.Lua.Syntax

type Rep Name = D1 (MetaData "Name" "Language.Lua.Syntax" "language-lua-0.11.0.1-LGCxWe6LSma1uJYm3xYR9F" True) (C1 (MetaCons "Name" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Text)))

data NumberType

Constructors

IntNum

FloatNum

Instances

Eq NumberType

Defined in Language.Lua.Utils

Methods

(==) :: NumberType -> NumberType -> Bool

(/=) :: NumberType -> NumberType -> Bool

Data NumberType

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 :: (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

Defined in Language.Lua.Utils

Methods

showsPrec :: Int -> NumberType -> ShowS

show :: NumberType -> String

showList :: [NumberType] -> ShowS

Generic NumberType

Defined in Language.Lua.Utils

Associated Types

type Rep NumberType :: Type -> Type

Methods

from :: NumberType -> Rep NumberType x

to :: Rep NumberType x -> NumberType

NFData NumberType

Defined in Language.Lua.Utils

Methods

rnf :: NumberType -> ()

type Rep NumberType

Defined in Language.Lua.Utils

type Rep NumberType = D1 (MetaData "NumberType" "Language.Lua.Utils" "language-lua-0.11.0.1-LGCxWe6LSma1uJYm3xYR9F" False) (C1 (MetaCons "IntNum" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "FloatNum" PrefixI False) (U1 :: Type -> Type))