Ivory.Language.Struct

Documentation

newtype StructDef sym

Constructors

StructDef

Fields

getStructDef :: Struct

class (IvoryArea (Struct sym), SingI sym) => IvoryStruct sym where

Associated Types

type StructName a :: Symbol

Methods

structDef :: StructDef sym

newtype Label sym field

Struct field labels.

Constructors

Label

Fields

getLabel :: String

Instances

Eq (Label sym field)

(~>) :: forall ref s sym field. (IvoryStruct sym, IvoryRef ref, IvoryExpr (ref s (Struct sym)), IvoryExpr (ref s field)) => ref s (Struct sym) -> Label sym field -> ref s field

Label indexing in a structure.