Module

Data.Functor.Nu

Package
purescript-fixed-points
Repository
slamdata/purescript-fixed-points

#Nu Source

newtype Nu f

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

Constructors

Instances

#NuF Source

newtype NuF f a

Constructors

#unfold Source

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

#observe Source

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