XFRP primitive types.
See also:
- <typecheck envs/typecheck.html for type environments and XFRP type system
Types
XfrpTypeKind {...}{.pure.} = enum TBool, TInt, TFloat
- Source Edit
XfrpType = object case kind*: XfrpTypeKind of XfrpTypeKind.TBool: nil of XfrpTypeKind.TInt: nil of XfrpTypeKind.TFloat: nil
- Source Edit
Procs
proc `==`(a: XfrpType; b: XfrpType): bool {...}{.used, raises: [], tags: [].}
- Source Edit
proc TBool(): XfrpType {...}{.used, raises: [], tags: [].}
- Source Edit
proc TInt(): XfrpType {...}{.used, raises: [], tags: [].}
- Source Edit
proc TFloat(): XfrpType {...}{.used, raises: [], tags: [].}
- Source Edit
proc hash(x: XfrpType): Hash {...}{.raises: [], tags: [].}
- Source Edit