higherkindness.droste.data
Nu is the greatest fixed point of a functor F. It is a computation that can generate a coinductive infinite structure on demand.
F
In Haskell this can more aptly be expressed as: data Nu g = forall s . Nu (s -> g s) s
data Nu g = forall s . Nu (s -> g s) s
Nu is the greatest fixed point of a functor
F
. It is a computation that can generate a coinductive infinite structure on demand.In Haskell this can more aptly be expressed as:
data Nu g = forall s . Nu (s -> g s) s