Module

Data.Functor.Nu

Package
purescript-fixed-points
Repository
purescript-contrib/purescript-fixed-points

#Nu Source

newtype Nu :: (Type -> Type) -> Typenewtype Nu f

Nu f is the greatest fixed point of the functor f, when it exists.

Constructors

Instances

#NuF Source

newtype NuF :: (Type -> Type) -> Type -> Typenewtype NuF f a

Constructors

#unfold Source

unfold :: forall f a. a -> (a -> f a) -> Nu f

#observe Source

observe :: forall f. Functor f => Nu f -> f (Nu f)