lib:lol-typing
Modules
- Language.LOL.Typing
- Language.LOL.Typing.Collect
- Language.LOL.Typing.Collect.Constraint
- Language.LOL.Typing.Collect.Grammar
- Language.LOL.Typing.Constraint
- Language.LOL.Typing.Constraint.Either
- Language.LOL.Typing.Constraint.Extra
- Language.LOL.Typing.Constraint.Monotype
- Language.LOL.Typing.Constraint.Polytype
- Language.LOL.Typing.Expr
- Language.LOL.Typing.Expr.Calculus
- Language.LOL.Typing.Expr.Common
- Language.LOL.Typing.Expr.Grammar
- Language.LOL.Typing.Expr.Utils
- Language.LOL.Typing.Expr.Write
- Language.LOL.Typing.Lib.Control.Monad.Classes.EffectsFix
- Language.LOL.Typing.Lib.Control.Monad.Classes.Instance
- Language.LOL.Typing.Lib.Control.Monad.Classes.StateFix
- Language.LOL.Typing.Lib.Control.Monad.Classes.StateInstance
- Language.LOL.Typing.Lib.Data.Default
- Language.LOL.Typing.Lib.Data.Empty
- Language.LOL.Typing.Lib.Data.Text.Buildable
- Language.LOL.Typing.Solver
- Language.LOL.Typing.Solver.Class
- Language.LOL.Typing.Solver.Common
- Language.LOL.Typing.Solver.Constraint
- Language.LOL.Typing.Solver.Greedy
- Language.LOL.Typing.Solver.Monad
- Language.LOL.Typing.Solver.Monotype
- Language.LOL.Typing.Solver.Polytype
- Language.LOL.Typing.Type
- Language.LOL.Typing.Type.Class
- Language.LOL.Typing.Type.Kind
- Language.LOL.Typing.Type.Monotype
- Language.LOL.Typing.Type.Polytype
- Language.LOL.Typing.Type.Qualification
- Language.LOL.Typing.Type.Quantification
- Language.LOL.Typing.Type.Substitution
- Language.LOL.Typing.Type.Synotype
- Language.LOL.Typing.Type.Unification
Dependencies
- base lib:base >=4.6 && <5
- containers lib:containers >=0.5 && <0.6
- ghc-prim lib:ghc-prim >=0
- lol-calculus lib:lol-calculus >=0
- monad-classes lib:monad-classes >=0.3.1.1
- parsec lib:parsec >=3.1.2 && <4
- text lib:text >=0
- text-format lib:text-format >=0
- transformers lib:transformers >=0.4 && <0.5
- uuagc lib:uuagc >=0.9
- uuagc-cabal lib:uuagc-cabal >=1.0.6.0
Reverse dependencies
Direct only. Not exhaustive.
- acme-everything lib:acme-everything
- lol-typing test:lol-typing-test