| 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 |
Language.Jsonnet.Annotate
Description
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)