module

Spacetime::DSL

Class methods

sats_type_for(type : Array(T).class) : SATS::AlgebraicType forall T
Source
sats_type_for(type : Bool.class) : SATS::AlgebraicType

Maps a Crystal type to its corresponding SATS::AlgebraicType at runtime/compile-time.

Source
sats_type_for(type : UInt8.class) : SATS::AlgebraicType
Source
sats_type_for(type : UInt16.class) : SATS::AlgebraicType
Source
sats_type_for(type : UInt32.class) : SATS::AlgebraicType
Source
sats_type_for(type : UInt64.class) : SATS::AlgebraicType
Source
sats_type_for(type : UInt128.class) : SATS::AlgebraicType
Source
sats_type_for(type : U256.class) : SATS::AlgebraicType
Source
sats_type_for(type : Int8.class) : SATS::AlgebraicType
Source
sats_type_for(type : Int16.class) : SATS::AlgebraicType
Source
sats_type_for(type : Int32.class) : SATS::AlgebraicType
Source
sats_type_for(type : Int64.class) : SATS::AlgebraicType
Source
sats_type_for(type : Int128.class) : SATS::AlgebraicType
Source
sats_type_for(type : I256.class) : SATS::AlgebraicType
Source
sats_type_for(type : Float32.class) : SATS::AlgebraicType
Source
sats_type_for(type : Float64.class) : SATS::AlgebraicType
Source
sats_type_for(type : String.class) : SATS::AlgebraicType
Source
sats_type_for(type : Bytes.class) : SATS::AlgebraicType
Source
sats_type_for(type : Identity.class) : SATS::AlgebraicType
Source
sats_type_for(type : ConnectionId.class) : SATS::AlgebraicType
Source
sats_type_for(type : Timestamp.class) : SATS::AlgebraicType
Source
sats_type_for(type : TimeDuration.class) : SATS::AlgebraicType
Source
sats_type_for(type : UUID.class) : SATS::AlgebraicType
Source
sats_type_for(type : ScheduleAt.class) : SATS::AlgebraicType
Source
sats_type_for(type : T.class) : SATS::AlgebraicType forall T
Source
to_algebraic_value(val : Array(T)) : SATS::AlgebraicValue forall T
Source
to_algebraic_value(val : Bool) : SATS::AlgebraicValue

Converts a Crystal value to a dynamic SATS::AlgebraicValue.

Source
to_algebraic_value(val : UInt8) : SATS::AlgebraicValue
Source
to_algebraic_value(val : UInt16) : SATS::AlgebraicValue
Source
to_algebraic_value(val : UInt32) : SATS::AlgebraicValue
Source
to_algebraic_value(val : UInt64) : SATS::AlgebraicValue
Source
to_algebraic_value(val : UInt128) : SATS::AlgebraicValue
Source
to_algebraic_value(val : U256) : SATS::AlgebraicValue
Source
to_algebraic_value(val : Int8) : SATS::AlgebraicValue
Source
to_algebraic_value(val : Int16) : SATS::AlgebraicValue
Source
to_algebraic_value(val : Int32) : SATS::AlgebraicValue
Source
to_algebraic_value(val : Int64) : SATS::AlgebraicValue
Source
to_algebraic_value(val : Int128) : SATS::AlgebraicValue
Source
to_algebraic_value(val : I256) : SATS::AlgebraicValue
Source
to_algebraic_value(val : Float32) : SATS::AlgebraicValue
Source
to_algebraic_value(val : Float64) : SATS::AlgebraicValue
Source
to_algebraic_value(val : String) : SATS::AlgebraicValue
Source
to_algebraic_value(val : Bytes) : SATS::AlgebraicValue
Source
to_algebraic_value(val : Identity) : SATS::AlgebraicValue
Source
to_algebraic_value(val : ConnectionId) : SATS::AlgebraicValue
Source
to_algebraic_value(val : Timestamp) : SATS::AlgebraicValue
Source
to_algebraic_value(val : TimeDuration) : SATS::AlgebraicValue
Source
to_algebraic_value(val : UUID) : SATS::AlgebraicValue
Source
to_algebraic_value(val : ScheduleAt) : SATS::AlgebraicValue
Source
to_algebraic_value(val : T) : SATS::AlgebraicValue forall T
Source