category-extras-0.1: Various modules and constructs inspired by category theory.ContentsIndex
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)
show/hide Instances
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 2.1.0