gsh - v1.1.2

gsh/evaluator/types

Types

ConstructorData

</> 
pub type ConstructorData {
  ConstructorData(name: String)
}

Constructors 

  • ConstructorData(name: String)

FunctionData

</> 
pub type FunctionData {
  FunctionData(return_type: TypeNode)
}

Constructors

ModuleData

</> 
pub type ModuleData {
  ModuleData(
    types: dict.Dict(String, TypeData),
    functions: dict.Dict(String, FunctionData),
  )
}

Constructors

PackageInterface

</> 
pub type PackageInterface {
  PackageInterface(
    name: String,
    modules: dict.Dict(String, ModuleData),
  )
}

Constructors

TypeData

</> 
pub type TypeData {
  TypeData(constructors: List(ConstructorData))
}

Constructors

TypeNode

</> 
pub type TypeNode {
  Named(
    name: String,
    package: String,
    module: String,
    parameters: List(TypeNode),
  )
  Tuple(elements: List(TypeNode))
  Variable(id: Int)
  Fn(params: List(TypeNode), ret: TypeNode)
}

Constructors 

  • Named(
  name: String,
  package: String,
  module: String,
  parameters: List(TypeNode),
)
  • Tuple(elements: List(TypeNode))
  • Variable(id: Int)
  • Fn(params: List(TypeNode), ret: TypeNode)

Values

get_entry_type

</> 
pub fn get_entry_type(
  json_string: String,
  module_name: String,
) -> Result(String, String)

infer_or_get_type

</> 
pub fn infer_or_get_type(
  json_string: String,
  module_name: String,
  source_input: String,
) -> Result(String, Nil)

package_interface_decoder

</> 
pub fn package_interface_decoder() -> decode.Decoder(
  PackageInterface,
)

render

</> 
pub fn render(node: TypeNode) -> String

type_node_decoder

</> 
pub fn type_node_decoder() -> decode.Decoder(TypeNode)
✨ Search Document