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

Nu (Exists (NuF f))

Instances

Newtype (Nu f) _

#NuF Source

newtype NuF f a

Constructors

NuF (Store a (f a))

#unfold Source

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

#observe Source

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

Modules: Data.Functor.Mu; Data.Functor.Nu; Data.TacitString