Copyright | (c) 2020-2021 Alexandre Moreno |
---|---|
License | BSD-3-Clause OR Apache-2.0 |
Maintainer | Alexandre Moreno <alexmorenocano@gmail.com> |
Stability | experimental |
Portability | non-portable |
Safe Haskell | Safe-Inferred |
Language | Haskell2010 |
Annotated trees, based on fixplate
Synopsis
- type AnnF f a = Product (Const a) f
- type Ann f a = Fix (AnnF f a)
- pattern AnnF :: forall a1 g a2. g a2 -> a1 -> Product (Const a1 :: Type -> Type) g a2
- annMap :: Functor f => (a -> b) -> Ann f a -> Ann f b
- forget :: Functor f => Ann f a -> Fix f
- attrib :: Ann f a -> a
- inherit :: Functor f => (Fix f -> a -> (b, a)) -> a -> Fix f -> Ann f b
- annZip :: Functor f => Fix (AnnF (AnnF f a) b) -> Ann f (a, b)