Category extrasSource codeContentsIndex
Data.BranchingStream
Synopsis
data Strf h c = Consf c (h (Strf h c))
hdf :: Strf h c -> c
tlf :: Strf h c -> h (Strf h c)
genStrf :: Functor h => (a -> c) -> (a -> h a) -> a -> Strf h c
strfToList :: Strf Maybe a -> [a]
Documentation
data Strf h c

An H-branching stream. The specific functor chosen for H determines its behavior:

  • Strf Id is an infinite stream
  • Strf Maybe is a non-empty stream
  • Strf [] is a rose tree
Constructors
Consf c (h (Strf h c))
Instances
Functor h => Functor (Strf h)
Functor h => Comonad (Strf h)
hdf :: Strf h c -> c
tlf :: Strf h c -> h (Strf h c)
genStrf :: Functor h => (a -> c) -> (a -> h a) -> a -> Strf h c
strfToList :: Strf Maybe a -> [a]
Produced by Haddock version 0.6