| Copyright | © 2023-2026 Albert Krewinkel |
|---|---|
| License | MIT |
| Maintainer | Albert Krewinkel <tarleb@hslua.org> |
| Safe Haskell | None |
| Language | Haskell2010 |
HsLua.Typing
Description
The module provides Haskell types and values that can be used to describe and declare the types of Lua values.
Synopsis
- data TypeSpec
- (#|#) :: TypeSpec -> TypeSpec -> TypeSpec
- typeSpecToString :: TypeSpec -> String
- typeSpecFromString :: String -> TypeSpec
- anyType :: TypeSpec
- voidType :: TypeSpec
- booleanType :: TypeSpec
- functionType :: TypeSpec
- integerType :: TypeSpec
- lightUserdataType :: TypeSpec
- nilType :: TypeSpec
- numberType :: TypeSpec
- stringType :: TypeSpec
- tableType :: TypeSpec
- threadType :: TypeSpec
- userdataType :: TypeSpec
- recType :: [(Name, TypeSpec)] -> TypeSpec
- seqType :: TypeSpec -> TypeSpec
- pushTypeSpec :: LuaError e => TypeSpec -> LuaE e ()
- peekTypeSpec :: LuaError e => Peeker e TypeSpec
Documentation
Type specification for Lua values.
Constructors
| BasicType Type | Built-in type |
| NamedType Name | A type that's been given a name. |
| SeqType TypeSpec | Sequence of the given type. |
| SumType [TypeSpec] | Union type; a sum type. |
| RecType (Map Name TypeSpec) | Record type (type product). |
| FunType [TypeSpec] [TypeSpec] | Function type. |
| AnyType | Unconstrained type. |
Instances
(#|#) :: TypeSpec -> TypeSpec -> TypeSpec Source #
Returns the sum of two type specifiers, declaring that a Lua value can have either type.
typeSpecToString :: TypeSpec -> String Source #
Generate a string representation of the type specifier.
typeSpecFromString :: String -> TypeSpec Source #
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.
Types
Built-in types
booleanType :: TypeSpec Source #
The built-in boolean Lua type.
functionType :: TypeSpec Source #
The built-in function Lua type.
integerType :: TypeSpec Source #
A Lua integer type.
lightUserdataType :: TypeSpec Source #
The built-in light userdata Lua type.
numberType :: TypeSpec Source #
The built-in number Lua type.
stringType :: TypeSpec Source #
The built-in string Lua type.
threadType :: TypeSpec Source #
The built-in thread Lua type.
userdataType :: TypeSpec Source #
The built-in userdata Lua type.
Type constructors
Marshalling
pushTypeSpec :: LuaError e => TypeSpec -> LuaE e () Source #
Pushes a table representation of a TypeSpec to the stack.