| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Ivory.Language.Struct
- newtype StructDef sym = StructDef {}
- type family StructName a :: 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
Constructors
| StructDef | |
Fields | |
type family StructName a :: Symbol Source
Instances
| type StructName (Struct * sym) = sym Source |
class (IvoryArea (Struct sym), ASymbol sym) => IvoryStruct sym where Source