| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ivory.Language.Struct
Contents
- newtype StructDef sym = StructDef {}
- type family StructName (a :: Area *) :: Symbol
- class (IvoryArea (Struct sym), ASymbol sym) => IvoryStruct sym where
- newtype Label sym field = Label {}
- (~>) :: 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
type family StructName (a :: Area *) :: Symbol Source #
Instances
| type StructName (Struct * sym) Source # | |
class (IvoryArea (Struct sym), ASymbol sym) => IvoryStruct sym where Source #
Minimal complete definition
(~>) :: 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.