| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Jsonnet.Annotate
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)