Annotations 0.1.3 → 0.2
raw patch · 2 files changed
+5/−4 lines, 2 filesdep ~basedep ~multirecPVP ok
version bump matches the API change (PVP)
Dependency ranges changed: base, multirec
API changes (from Hackage documentation)
- Annotations.MultiRec.Zipper: first :: Zipper phi f => (forall b. phi b -> r b -> Ctx f b r ix -> a) -> f r ix -> Maybe a
- Annotations.MultiRec.Zipper: last :: Zipper phi f => (forall b. phi b -> r b -> Ctx f b r ix -> a) -> f r ix -> Maybe a
- Annotations.MultiRec.Zipper: next :: Zipper phi f => (forall b. phi b -> r b -> Ctx f b r ix -> a) -> phi b -> Ctx f b r ix -> r b -> Maybe a
- Annotations.MultiRec.Zipper: prev :: Zipper phi f => (forall b. phi b -> r b -> Ctx f b r ix -> a) -> phi b -> Ctx f b r ix -> r b -> Maybe a
+ Annotations.MultiRec.Zipper: first, last :: Zipper phi f => (forall b. phi b -> r b -> Ctx f b r ix -> a) -> f r ix -> Maybe a
+ Annotations.MultiRec.Zipper: next, prev :: Zipper phi f => (forall b. phi b -> r b -> Ctx f b r ix -> a) -> phi b -> Ctx f b r ix -> r b -> Maybe a
- Annotations.BoundsParser: class Symbol s
+ Annotations.BoundsParser: class Symbol s where symbolSize = length . unparse
- Annotations.MultiRec.Yield: class Monad m => MonadYield m where { type family YieldFam m :: * -> *; type family AnnType m :: *; }
+ Annotations.MultiRec.Yield: class Monad m => MonadYield m where type family YieldFam m :: * -> * type family AnnType m :: *
Files
- Annotations.cabal +3/−3
- Annotations/MultiRec/Zipper.hs +2/−1
Annotations.cabal view
@@ -1,5 +1,5 @@ Name: Annotations-Version: 0.1.3+Version: 0.2 Synopsis: Constructing, analyzing and destructing annotated trees Description: @Annotations@ provides utility functions to make working with annotated trees easier. There are two implementations: one for working with open datatypes that explicitly make their child positions accessible through a type argument, and one for working with MultiRec datatypes.@@ -19,8 +19,8 @@ Build-type: Simple Library- Build-Depends: base >= 4.1 && < 4.4, mtl >= 1.1 && < 2.1,- parsec >= 3.0 && < 3.2, multirec >= 0.4 && < 0.6+ Build-Depends: base >= 4.1 && < 4.6, mtl >= 1.1 && < 2.1,+ parsec >= 3.0 && < 3.2, multirec >= 0.4 && < 0.8 Exposed-Modules: Annotations.Bounds, Annotations.BoundsParser, Annotations.Except,
Annotations/MultiRec/Zipper.hs view
@@ -7,6 +7,7 @@ {-# LANGUAGE TypeFamilies #-} {-# LANGUAGE TypeOperators #-} {-# LANGUAGE ScopedTypeVariables #-}+{-# LANGUAGE EmptyDataDecls #-} ----------------------------------------------------------------------------- -- |@@ -66,7 +67,7 @@ -- | Abstract type of context frames. Not required for the high-level -- navigation functions. -data family Ctx f :: * -> (* -> *) -> * -> *+data family Ctx (f :: (* -> *) -> * -> *) :: * -> (* -> *) -> * -> * data instance Ctx (K a) b r ix data instance Ctx U b r ix