The latest version of Annotations is 0.2.2-0.
lib:Annotations
Modules
- Annotations.Bounds
- Annotations.BoundsParser
- Annotations.Except
- Annotations.ExploreHints
- Annotations.F.Annotated
- Annotations.F.Fixpoints
- Annotations.F.ParserCombinators
- Annotations.F.Positional
- Annotations.F.Zipper
- Annotations.MultiRec.Annotated
- Annotations.MultiRec.Any
- Annotations.MultiRec.ErrorAlg
- Annotations.MultiRec.ParserCombinators
- Annotations.MultiRec.Positional
- Annotations.MultiRec.ShowFam
- Annotations.MultiRec.Yield
- Annotations.MultiRec.Zipper
- Annotations.MultiRec.ZipperFix
Dependencies
- base lib:base >=4.1 && <4.2
- mtl lib:mtl >=1.1 && <1.2
- multirec lib:multirec >=0.4 && <0.5
- parsec lib:parsec >=3.0 && <3.1
Reverse dependencies
Direct only. Not exhaustive.
- Annotations test:tests
- acme-everything lib:acme-everything