Category extras
Source code
Contents
Index
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