Safe Haskell | None |
---|---|
Language | Haskell2010 |
Synopsis
- newtype TermMap h expr f = TermMap (Map h (f :# expr))
- _TermMap :: forall h expr f h expr f. Iso (TermMap h expr f) (TermMap h expr f) (Map h ((:#) f expr)) (Map h ((:#) f expr))
- data W_TermMap (h :: Type) (expr :: HyperType) node where
- W_TermMap_expr :: W_TermMap h expr expr
- data family MorphWitness s t :: HyperType -> HyperType -> Type
Documentation
newtype TermMap h expr f Source #
A mapping of keys to terms.
Apart from the data type, a ZipMatch
instance is also provided.
Instances
_TermMap :: forall h expr f h expr f. Iso (TermMap h expr f) (TermMap h expr f) (Map h ((:#) f expr)) (Map h ((:#) f expr)) Source #
data W_TermMap (h :: Type) (expr :: HyperType) node where Source #
W_TermMap_expr :: W_TermMap h expr expr |
data family MorphWitness s t :: HyperType -> HyperType -> Type Source #
Instances
data MorphWitness (ANode a) (ANode b) _ _ Source # | |
Defined in Hyper.Combinator.ANode | |
data MorphWitness (FuncType typ0) (FuncType typ1) _ _ Source # | |
Defined in Hyper.Type.AST.FuncType data MorphWitness (FuncType typ0) (FuncType typ1) _ _ where
| |
data MorphWitness (App expr0) (App expr1) _ _ Source # | |
Defined in Hyper.Type.AST.App data MorphWitness (App expr0) (App expr1) _ _ where
| |
data MorphWitness (TermMap h expr0) (TermMap h expr1) _ _ Source # | |
Defined in Hyper.Type.AST.Map data MorphWitness (TermMap h expr0) (TermMap h expr1) _ _ where
| |
data MorphWitness (Var v expr0) (Var v expr1) _ _ Source # | |
Defined in Hyper.Type.AST.Var | |
data MorphWitness (ToNom nomId term0) (ToNom nomId term1) _ _ Source # | |
Defined in Hyper.Type.AST.Nominal data MorphWitness (ToNom nomId term0) (ToNom nomId term1) _ _ where
| |
data MorphWitness (Let v expr0) (Let v expr1) _ _ Source # | |
Defined in Hyper.Type.AST.Let data MorphWitness (Let v expr0) (Let v expr1) _ _ where
| |
data MorphWitness (Lam v expr0) (Lam v expr1) _ _ Source # | |
Defined in Hyper.Type.AST.Lam data MorphWitness (Lam v expr0) (Lam v expr1) _ _ where
| |
data MorphWitness (RowExtend key val0 rest0) (RowExtend key val1 rest1) _ _ Source # | |
Defined in Hyper.Type.AST.Row data MorphWitness (RowExtend key val0 rest0) (RowExtend key val1 rest1) _ _ where
| |
data MorphWitness (TypedLam var typ0 expr0) (TypedLam var typ1 expr1) _ _ Source # | |
Defined in Hyper.Type.AST.TypedLam data MorphWitness (TypedLam var typ0 expr0) (TypedLam var typ1 expr1) _ _ where
|