Safe Haskell	None
Language	Haskell2010

Ivory.Language.Struct

Contents

Synopsis

newtype StructDef (sym :: Symbol) = StructDef {
- getStructDef :: Struct
}
type family StructName (a :: Area *) :: Symbol
class (IvoryArea (Struct sym), ASymbol sym) => IvoryStruct (sym :: Symbol) where
- structDef :: StructDef sym
newtype Label (sym :: Symbol) (field :: Area *) = Label {
- getLabel :: String
}
(~>) :: 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

Documentation

Constructors

StructDef
Fields getStructDef :: Struct

type family StructName (a :: Area *) :: Symbol Source #

Instances

type StructName (Struct sym :: Area Type) Source #
Instance details Defined in Ivory.Language.Struct type StructName (Struct sym :: Area Type) = sym

Methods

newtype Label (sym :: Symbol) (field :: Area *) Source #

Struct field labels.

Constructors

Label
Fields getLabel :: String

Instances

Eq (Label sym field) Source #
Instance details Defined in Ivory.Language.Struct Methods (==) :: Label sym field -> Label sym field -> Bool # (/=) :: Label sym field -> Label sym field -> Bool #

(~>) :: 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 Source #

Label indexing in a structure.

Orphan instances

(IvoryStruct sym, ASymbol sym) => IvoryArea (Struct sym :: Area Type) Source #
Instance details Methods ivoryArea :: Proxy (Struct sym) -> Type0 Source #