lib:hypertypes
Modules
- Hyper
- Hyper.Class.Apply
- Hyper.Class.Context
- Hyper.Class.Foldable
- Hyper.Class.Functor
- Hyper.Class.HasPlain
- Hyper.Class.Infer
- Hyper.Class.Infer.Env
- Hyper.Class.Infer.InferOf
- Hyper.Class.Monad
- Hyper.Class.Morph
- Hyper.Class.Nodes
- Hyper.Class.Optic
- Hyper.Class.Pointed
- Hyper.Class.Recursive
- Hyper.Class.Traversable
- Hyper.Class.Unify
- Hyper.Class.ZipMatch
- Hyper.Combinator.ANode
- Hyper.Combinator.Ann
- Hyper.Combinator.Compose
- Hyper.Combinator.Flip
- Hyper.Combinator.Func
- Hyper.Diff
- Hyper.Infer
- Hyper.Infer.Blame
- Hyper.Infer.Result
- Hyper.Infer.ScopeLevel
- Hyper.Recurse
- Hyper.Syntax
- Hyper.Syntax.App
- Hyper.Syntax.FuncType
- Hyper.Syntax.Lam
- Hyper.Syntax.Let
- Hyper.Syntax.Map
- Hyper.Syntax.Nominal
- Hyper.Syntax.Row
- Hyper.Syntax.Scheme
- Hyper.Syntax.Scheme.AlphaEq
- Hyper.Syntax.TypeSig
- Hyper.Syntax.TypedLam
- Hyper.Syntax.Var
- Hyper.TH.Apply
- Hyper.TH.Context
- Hyper.TH.Foldable
- Hyper.TH.Functor
- Hyper.TH.HasPlain
- Hyper.TH.Morph
- Hyper.TH.Nodes
- Hyper.TH.Pointed
- Hyper.TH.Traversable
- Hyper.TH.ZipMatch
- Hyper.Type
- Hyper.Type.Functor
- Hyper.Type.Prune
- Hyper.Type.Pure
- Hyper.Unify
- Hyper.Unify.Binding
- Hyper.Unify.Binding.ST
- Hyper.Unify.Binding.ST.Load
- Hyper.Unify.Binding.Save
- Hyper.Unify.Constraints
- Hyper.Unify.Error
- Hyper.Unify.Generalize
- Hyper.Unify.New
- Hyper.Unify.Occurs
- Hyper.Unify.QuantifiedVar
- Hyper.Unify.Term
Dependencies
- array lib:array >=0
- base lib:base >=4.9 && <5
- base-compat lib:base-compat >=0
- binary lib:binary >=0
- constraints lib:constraints >=0
- containers lib:containers >=0
- deepseq lib:deepseq >=0
- generic-constraints lib:generic-constraints >=0
- generic-data lib:generic-data >=0
- lattices lib:lattices >=0
- lens lib:lens >=0
- monad-st lib:monad-st >=0
- mtl lib:mtl >=0
- pretty lib:pretty >=0
- show-combinators lib:show-combinators >=0
- template-haskell lib:template-haskell >=0
- th-abstraction lib:th-abstraction >=0.3
- transformers lib:transformers >=0
Reverse dependencies
Direct only. Not exhaustive.
- hypertypes bench:hypertypes-bench
- hypertypes test:hypertypes-test