Advent.Fix
Description
newtype Fix (f :: Type -> Type) Source #
Fixed-point of a type
Constructors
Fields
Defined in Advent.Fix
Methods
showsPrec :: Int -> Fix f -> ShowS #
show :: Fix f -> String #
showList :: [Fix f] -> ShowS #
cata :: Functor t => (t a -> a) -> Fix t -> a Source #
Generic fold
cataM :: (Monad m, Traversable t) => (t a -> m a) -> Fix t -> m a Source #
Generic monadic fold
ana :: Functor f => (a -> f a) -> a -> Fix f Source #
Generic unfold
anaFromMap Source #
Arguments
entries by name
root name
root node with keys recursively resolved
Convert a map of values parameterized by names into a recursively defined datatype.