category-extras-0.1: Various modules and constructs inspired by category theory.Source codeContentsIndex
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]
data Strf h c Source

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
Consf c (h (Strf h c))
show/hide Instances
hdf :: Strf h c -> cSource
tlf :: Strf h c -> h (Strf h c)Source
genStrf :: Functor h => (a -> c) -> (a -> h a) -> a -> Strf h cSource
strfToList :: Strf Maybe a -> [a]Source
Produced by Haddock version 2.3.0