Safe Haskell | None |
---|---|
Language | Haskell2010 |
- 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
(~>) :: 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.