Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

Moduleunicode-data-0.9.0Haskell2010

Unicode.Internal.Unfold

Synopsis

data Unfold
data Step
value toList

Packageunicode-data-0.9.0
Exports3
LanguageHaskell2010
LicenceApache-2.0
SourceUnfold.hs

datadata Unfold a b

An Unfold a b is a generator of a stream of values of type b from a seed of type a.

Constructors

forall s. Unfold (s -> Step s b) (a -> Step s b)

datadata Step s a

A stream is a succession of Steps.

Constructors

Yield !a !s
Produces a single value and the next state of the stream.
Stop
Indicates there are no more values in the stream.

Instances1Functor

Functor (Step s)Defined in unicode-data-0.9.0 · Unicode.Internal.Unfold

valuetoList :: Unfold a a -> a -> [a]

Convert an 'Unfold a a' to a list [a], if the resulting list is empty the seed is used as a default output.