Returns the sum of two type specifiers, declaring that a Lua value can have either type.
Modulehslua-packaging-2.4.1Haskell2010
HsLua.Packaging
Tools to create documented Lua functions and modules.
- 1 type
- 19 values
- Packagehslua-packaging-2.4.1
- Exports20
- LanguageHaskell2010
- LicenceMIT
- SourcePackaging.hs
Modules
0 declarationsmodule HsLua.Packaging.Module
module HsLua.Packaging.Function
module HsLua.Packaging.Convenience
Object oriented marshalling
0 declarationsmodule HsLua.Packaging.UDType
Register and access docs in Lua
0 declarationsTypes
20 declarationsmodule HsLua.Packaging.Types
Unconstraint type; any Lua value.
The built-in boolean Lua type.
The built-in function Lua type.
A Lua integer type.
The built-in light userdata Lua type.
The built-in nil Lua type.
The built-in number Lua type.
Retrieves a TypeSpec from a table on the stack.
Pushes a table representation of a TypeSpec to the stack.
Creates a record type.
Creates a sequence type.
The built-in string Lua type.
The built-in table Lua type.
The built-in thread Lua type.
Creates a TypeSpec value from a string.
The implementation currently handles basic types, sequences, and
alternatives. A string that cannot be parsed is returned as a Named
type with the full string as the name.
Generate a string representation of the type specifier.
The built-in userdata Lua type.
A type for which there cannot be any value.
Type specification for Lua values.
Instances6Eq, Ord, Show, IsString, Generic, Rep
Eq TypeSpecDefined in hslua-typing-0.2.0 · HsLua.TypingOrd TypeSpecDefined in hslua-typing-0.2.0 · HsLua.TypingShow TypeSpecDefined in hslua-typing-0.2.0 · HsLua.TypingIsString TypeSpecDefined in hslua-typing-0.2.0 · HsLua.TypingFor backwards compatibility and convenience, strings can be used as TypeSpec values.
Generic TypeSpecDefined in hslua-typing-0.2.0 · HsLua.Typingtype Rep TypeSpec = D1 ('MetaDataDefined in hslua-typing-0.2.0 · HsLua.Typing"TypeSpec"
"HsLua.Typing"
"hslua-typing-0.2.0-7Ew45xVGeRC6mfVrusgZrm"
'False) ((C1 ('MetaCons"BasicType"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)) :+: (C1 ('MetaCons"NamedType"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Name)) :+: C1 ('MetaCons"SeqType"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TypeSpec)))) :+: ((C1 ('MetaCons"SumType"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TypeSpec])) :+: C1 ('MetaCons"RecType"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Map Name TypeSpec)))) :+: (C1 ('MetaCons"FunType"
'PrefixI 'False) (S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TypeSpec]) :*: S1 ('MetaSel 'Nothing 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TypeSpec])) :+: C1 ('MetaCons"AnyType"
'PrefixI 'False) U1)))