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 <5
- mtl lib:mtl >=1.1 && <2.3
- multirec lib:multirec >=0.4 && <0.8
- parsec lib:parsec >=3.0 && <3.2
Reverse dependencies
Direct only. Not exhaustive.
- Annotations test:tests
- acme-everything lib:acme-everything