language-lua-0.11.0.2: Lua parser and pretty-printer
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.Lua.Syntax

Description

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

Synopsis

Documentation

data Stat Source #

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

Instances details
Data Stat Source # 
Instance details

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 :: forall r r'. (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 #

Generic Stat Source # 
Instance details

Defined in Language.Lua.Syntax

Associated Types

type Rep Stat 
Instance details

Defined in Language.Lua.Syntax

type Rep Stat = D1 ('MetaData "Stat" "Language.Lua.Syntax" "language-lua-0.11.0.2-GkwxiCRdlWD7dmDi3u0FYR" '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)))))

Methods

from :: Stat -> Rep Stat x #

to :: Rep Stat x -> Stat #

Show Stat Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> Stat -> ShowS #

show :: Stat -> String #

showList :: [Stat] -> ShowS #

NFData Stat Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

rnf :: Stat -> () #

Eq Stat Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

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

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

LPretty Stat Source # 
Instance details

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: Stat -> Doc Source #

pprint' :: Precedence -> Stat -> Doc

type Rep Stat Source # 
Instance details

Defined in Language.Lua.Syntax

type Rep Stat = D1 ('MetaData "Stat" "Language.Lua.Syntax" "language-lua-0.11.0.2-GkwxiCRdlWD7dmDi3u0FYR" '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)))))

data PrefixExp Source #

Constructors

PEVar Var 
PEFunCall FunCall 
Paren Exp 

Instances

Instances details
Data PrefixExp Source # 
Instance details

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 :: forall r r'. (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 #

Generic PrefixExp Source # 
Instance details

Defined in Language.Lua.Syntax

Associated Types

type Rep PrefixExp 
Instance details

Defined in Language.Lua.Syntax

type Rep PrefixExp = D1 ('MetaData "PrefixExp" "Language.Lua.Syntax" "language-lua-0.11.0.2-GkwxiCRdlWD7dmDi3u0FYR" '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))))

Methods

from :: PrefixExp -> Rep PrefixExp x #

to :: Rep PrefixExp x -> PrefixExp #

Show PrefixExp Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> PrefixExp -> ShowS #

show :: PrefixExp -> String #

showList :: [PrefixExp] -> ShowS #

NFData PrefixExp Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

rnf :: PrefixExp -> () #

Eq PrefixExp Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

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

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

LPretty PrefixExp Source # 
Instance details

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: PrefixExp -> Doc Source #

pprint' :: Precedence -> PrefixExp -> Doc

type Rep PrefixExp Source # 
Instance details

Defined in Language.Lua.Syntax

type Rep PrefixExp = D1 ('MetaData "PrefixExp" "Language.Lua.Syntax" "language-lua-0.11.0.2-GkwxiCRdlWD7dmDi3u0FYR" '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 Exp Source #

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

Instances details
Data Exp Source # 
Instance details

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 :: forall r r'. (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 #

Generic Exp Source # 
Instance details

Defined in Language.Lua.Syntax

Associated Types

type Rep Exp 
Instance details

Defined in Language.Lua.Syntax

type Rep Exp = D1 ('MetaData "Exp" "Language.Lua.Syntax" "language-lua-0.11.0.2-GkwxiCRdlWD7dmDi3u0FYR" '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))))))

Methods

from :: Exp -> Rep Exp x #

to :: Rep Exp x -> Exp #

Show Exp Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> Exp -> ShowS #

show :: Exp -> String #

showList :: [Exp] -> ShowS #

NFData Exp Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

rnf :: Exp -> () #

Eq Exp Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

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

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

LPretty Exp Source # 
Instance details

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: Exp -> Doc Source #

pprint' :: Precedence -> Exp -> Doc

type Rep Exp Source # 
Instance details

Defined in Language.Lua.Syntax

type Rep Exp = D1 ('MetaData "Exp" "Language.Lua.Syntax" "language-lua-0.11.0.2-GkwxiCRdlWD7dmDi3u0FYR" '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 Binop Source #

Constructors

Add 
Sub 
Mul 
Div 
Exp 
Mod 
Concat 
LT 
LTE 
GT 
GTE 
EQ 
NEQ 
And 
Or 
IDiv 
ShiftL 
ShiftR 
BAnd 
BOr 
BXor 

Instances

Instances details
Data Binop Source # 
Instance details

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 :: forall r r'. (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 #

Generic Binop Source # 
Instance details

Defined in Language.Lua.Syntax

Associated Types

type Rep Binop 
Instance details

Defined in Language.Lua.Syntax

type Rep Binop = D1 ('MetaData "Binop" "Language.Lua.Syntax" "language-lua-0.11.0.2-GkwxiCRdlWD7dmDi3u0FYR" '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))))))

Methods

from :: Binop -> Rep Binop x #

to :: Rep Binop x -> Binop #

Show Binop Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> Binop -> ShowS #

show :: Binop -> String #

showList :: [Binop] -> ShowS #

NFData Binop Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

rnf :: Binop -> () #

Eq Binop Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

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

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

LPretty Binop Source # 
Instance details

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: Binop -> Doc Source #

pprint' :: Precedence -> Binop -> Doc

type Rep Binop Source # 
Instance details

Defined in Language.Lua.Syntax

type Rep Binop = D1 ('MetaData "Binop" "Language.Lua.Syntax" "language-lua-0.11.0.2-GkwxiCRdlWD7dmDi3u0FYR" '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 Unop Source #

Constructors

Neg 
Not 
Len 
Complement 

Instances

Instances details
Data Unop Source # 
Instance details

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 :: forall r r'. (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 #

Generic Unop Source # 
Instance details

Defined in Language.Lua.Syntax

Associated Types

type Rep Unop 
Instance details

Defined in Language.Lua.Syntax

type Rep Unop = D1 ('MetaData "Unop" "Language.Lua.Syntax" "language-lua-0.11.0.2-GkwxiCRdlWD7dmDi3u0FYR" '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)))

Methods

from :: Unop -> Rep Unop x #

to :: Rep Unop x -> Unop #

Show Unop Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> Unop -> ShowS #

show :: Unop -> String #

showList :: [Unop] -> ShowS #

NFData Unop Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

rnf :: Unop -> () #

Eq Unop Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

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

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

LPretty Unop Source # 
Instance details

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: Unop -> Doc Source #

pprint' :: Precedence -> Unop -> Doc

type Rep Unop Source # 
Instance details

Defined in Language.Lua.Syntax

type Rep Unop = D1 ('MetaData "Unop" "Language.Lua.Syntax" "language-lua-0.11.0.2-GkwxiCRdlWD7dmDi3u0FYR" '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)))

newtype Name Source #

Constructors

Name Text 

Instances

Instances details
Data Name Source # 
Instance details

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 :: forall r r'. (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 #

Generic Name Source # 
Instance details

Defined in Language.Lua.Syntax

Associated Types

type Rep Name 
Instance details

Defined in Language.Lua.Syntax

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

Methods

from :: Name -> Rep Name x #

to :: Rep Name x -> Name #

Show Name Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> Name -> ShowS #

show :: Name -> String #

showList :: [Name] -> ShowS #

NFData Name Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

rnf :: Name -> () #

Eq Name Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

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

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

LPretty Name Source # 
Instance details

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: Name -> Doc Source #

pprint' :: Precedence -> Name -> Doc

type Rep Name Source # 
Instance details

Defined in Language.Lua.Syntax

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

data Var Source #

Constructors

VarName Name

variable

Select PrefixExp Exp

table[exp]

SelectName PrefixExp Name

table.variable

Instances

Instances details
Data Var Source # 
Instance details

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 :: forall r r'. (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 #

Generic Var Source # 
Instance details

Defined in Language.Lua.Syntax

Associated Types

type Rep Var 
Instance details

Defined in Language.Lua.Syntax

type Rep Var = D1 ('MetaData "Var" "Language.Lua.Syntax" "language-lua-0.11.0.2-GkwxiCRdlWD7dmDi3u0FYR" '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))))

Methods

from :: Var -> Rep Var x #

to :: Rep Var x -> Var #

Show Var Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> Var -> ShowS #

show :: Var -> String #

showList :: [Var] -> ShowS #

NFData Var Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

rnf :: Var -> () #

Eq Var Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

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

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

LPretty Var Source # 
Instance details

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: Var -> Doc Source #

pprint' :: Precedence -> Var -> Doc

type Rep Var Source # 
Instance details

Defined in Language.Lua.Syntax

type Rep Var = D1 ('MetaData "Var" "Language.Lua.Syntax" "language-lua-0.11.0.2-GkwxiCRdlWD7dmDi3u0FYR" '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 FunCall Source #

Constructors

NormalFunCall PrefixExp FunArg

prefixexp ( funarg )

MethodCall PrefixExp Name FunArg

prefixexp : name ( funarg )

Instances

Instances details
Data FunCall Source # 
Instance details

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 :: forall r r'. (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 #

Generic FunCall Source # 
Instance details

Defined in Language.Lua.Syntax

Associated Types

type Rep FunCall 
Instance details

Defined in Language.Lua.Syntax

type Rep FunCall = D1 ('MetaData "FunCall" "Language.Lua.Syntax" "language-lua-0.11.0.2-GkwxiCRdlWD7dmDi3u0FYR" '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))))

Methods

from :: FunCall -> Rep FunCall x #

to :: Rep FunCall x -> FunCall #

Show FunCall Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> FunCall -> ShowS #

show :: FunCall -> String #

showList :: [FunCall] -> ShowS #

NFData FunCall Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

rnf :: FunCall -> () #

Eq FunCall Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

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

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

LPretty FunCall Source # 
Instance details

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: FunCall -> Doc Source #

pprint' :: Precedence -> FunCall -> Doc

type Rep FunCall Source # 
Instance details

Defined in Language.Lua.Syntax

type Rep FunCall = D1 ('MetaData "FunCall" "Language.Lua.Syntax" "language-lua-0.11.0.2-GkwxiCRdlWD7dmDi3u0FYR" '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 Block Source #

A block is list of statements with optional return statement.

Constructors

Block [Stat] (Maybe [Exp]) 

Instances

Instances details
Data Block Source # 
Instance details

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 :: forall r r'. (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 #

Generic Block Source # 
Instance details

Defined in Language.Lua.Syntax

Associated Types

type Rep Block 
Instance details

Defined in Language.Lua.Syntax

type Rep Block = D1 ('MetaData "Block" "Language.Lua.Syntax" "language-lua-0.11.0.2-GkwxiCRdlWD7dmDi3u0FYR" '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]))))

Methods

from :: Block -> Rep Block x #

to :: Rep Block x -> Block #

Show Block Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> Block -> ShowS #

show :: Block -> String #

showList :: [Block] -> ShowS #

NFData Block Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

rnf :: Block -> () #

Eq Block Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

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

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

LPretty Block Source # 
Instance details

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: Block -> Doc Source #

pprint' :: Precedence -> Block -> Doc

type Rep Block Source # 
Instance details

Defined in Language.Lua.Syntax

type Rep Block = D1 ('MetaData "Block" "Language.Lua.Syntax" "language-lua-0.11.0.2-GkwxiCRdlWD7dmDi3u0FYR" '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 FunName Source #

Constructors

FunName Name [Name] (Maybe Name) 

Instances

Instances details
Data FunName Source # 
Instance details

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 :: forall r r'. (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 #

Generic FunName Source # 
Instance details

Defined in Language.Lua.Syntax

Associated Types

type Rep FunName 
Instance details

Defined in Language.Lua.Syntax

type Rep FunName = D1 ('MetaData "FunName" "Language.Lua.Syntax" "language-lua-0.11.0.2-GkwxiCRdlWD7dmDi3u0FYR" '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)))))

Methods

from :: FunName -> Rep FunName x #

to :: Rep FunName x -> FunName #

Show FunName Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> FunName -> ShowS #

show :: FunName -> String #

showList :: [FunName] -> ShowS #

NFData FunName Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

rnf :: FunName -> () #

Eq FunName Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

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

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

LPretty FunName Source # 
Instance details

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: FunName -> Doc Source #

pprint' :: Precedence -> FunName -> Doc

type Rep FunName Source # 
Instance details

Defined in Language.Lua.Syntax

type Rep FunName = D1 ('MetaData "FunName" "Language.Lua.Syntax" "language-lua-0.11.0.2-GkwxiCRdlWD7dmDi3u0FYR" '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 FunBody Source #

Constructors

FunBody [Name] Bool Block

(args, vararg, block)

Instances

Instances details
Data FunBody Source # 
Instance details

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 :: forall r r'. (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 #

Generic FunBody Source # 
Instance details

Defined in Language.Lua.Syntax

Associated Types

type Rep FunBody 
Instance details

Defined in Language.Lua.Syntax

type Rep FunBody = D1 ('MetaData "FunBody" "Language.Lua.Syntax" "language-lua-0.11.0.2-GkwxiCRdlWD7dmDi3u0FYR" '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))))

Methods

from :: FunBody -> Rep FunBody x #

to :: Rep FunBody x -> FunBody #

Show FunBody Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> FunBody -> ShowS #

show :: FunBody -> String #

showList :: [FunBody] -> ShowS #

NFData FunBody Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

rnf :: FunBody -> () #

Eq FunBody Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

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

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

LPretty FunBody Source # 
Instance details

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: FunBody -> Doc Source #

pprint' :: Precedence -> FunBody -> Doc

type Rep FunBody Source # 
Instance details

Defined in Language.Lua.Syntax

type Rep FunBody = D1 ('MetaData "FunBody" "Language.Lua.Syntax" "language-lua-0.11.0.2-GkwxiCRdlWD7dmDi3u0FYR" '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 TableField Source #

Constructors

ExpField Exp Exp

[exp] = exp

NamedField Name Exp

name = exp

Field Exp 

Instances

Instances details
Data TableField Source # 
Instance details

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 :: forall r r'. (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 #

Generic TableField Source # 
Instance details

Defined in Language.Lua.Syntax

Associated Types

type Rep TableField 
Instance details

Defined in Language.Lua.Syntax

type Rep TableField = D1 ('MetaData "TableField" "Language.Lua.Syntax" "language-lua-0.11.0.2-GkwxiCRdlWD7dmDi3u0FYR" '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))))

Methods

from :: TableField -> Rep TableField x #

to :: Rep TableField x -> TableField #

Show TableField Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> TableField -> ShowS #

show :: TableField -> String #

showList :: [TableField] -> ShowS #

NFData TableField Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

rnf :: TableField -> () #

Eq TableField Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

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

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

LPretty TableField Source # 
Instance details

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: TableField -> Doc Source #

pprint' :: Precedence -> TableField -> Doc

LPretty [TableField] Source # 
Instance details

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: [TableField] -> Doc Source #

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

type Rep TableField Source # 
Instance details

Defined in Language.Lua.Syntax

type Rep TableField = D1 ('MetaData "TableField" "Language.Lua.Syntax" "language-lua-0.11.0.2-GkwxiCRdlWD7dmDi3u0FYR" '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 FunArg Source #

Constructors

Args [Exp]

list of args

TableArg [TableField]

table constructor

StringArg Text

string

Instances

Instances details
Data FunArg Source # 
Instance details

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 :: forall r r'. (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 #

Generic FunArg Source # 
Instance details

Defined in Language.Lua.Syntax

Associated Types

type Rep FunArg 
Instance details

Defined in Language.Lua.Syntax

type Rep FunArg = D1 ('MetaData "FunArg" "Language.Lua.Syntax" "language-lua-0.11.0.2-GkwxiCRdlWD7dmDi3u0FYR" '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))))

Methods

from :: FunArg -> Rep FunArg x #

to :: Rep FunArg x -> FunArg #

Show FunArg Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

showsPrec :: Int -> FunArg -> ShowS #

show :: FunArg -> String #

showList :: [FunArg] -> ShowS #

NFData FunArg Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

rnf :: FunArg -> () #

Eq FunArg Source # 
Instance details

Defined in Language.Lua.Syntax

Methods

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

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

LPretty FunArg Source # 
Instance details

Defined in Language.Lua.PrettyPrinter

Methods

pprint :: FunArg -> Doc Source #

pprint' :: Precedence -> FunArg -> Doc

type Rep FunArg Source # 
Instance details

Defined in Language.Lua.Syntax

type Rep FunArg = D1 ('MetaData "FunArg" "Language.Lua.Syntax" "language-lua-0.11.0.2-GkwxiCRdlWD7dmDi3u0FYR" '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 NumberType Source #

Constructors

IntNum 
FloatNum 

Instances

Instances details
Data NumberType Source # 
Instance details

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 # 
Instance details

Defined in Language.Lua.Utils

Associated Types

type Rep NumberType 
Instance details

Defined in Language.Lua.Utils

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

Methods

from :: NumberType -> Rep NumberType x #

to :: Rep NumberType x -> NumberType #

Show NumberType Source # 
Instance details

Defined in Language.Lua.Utils

Methods

showsPrec :: Int -> NumberType -> ShowS #

show :: NumberType -> String #

showList :: [NumberType] -> ShowS #

NFData NumberType Source # 
Instance details

Defined in Language.Lua.Utils

Methods

rnf :: NumberType -> () #

Eq NumberType Source # 
Instance details

Defined in Language.Lua.Utils

Methods

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

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

type Rep NumberType Source # 
Instance details

Defined in Language.Lua.Utils

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