Skip to content

HORIZON HASKELL Docs lts/ghc-9.14.x7a6c33e2026-10-12Search packagesCtrl K

Theme: |

GHC 9.14.1 · lts/ghc-9.14.x · 7a6c33e · 2026-10-12

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.