category-extras-0.1: Various modules and constructs inspired by category theory.
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
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
Constructors
Consf
c (h (
Strf
h c))
Instances
Functor
h =>
Functor
(
Strf
h)
Functor
h =>
Comonad
(
Strf
h)
hdf
::
Strf
h c -> c
Source
tlf
::
Strf
h c -> h (
Strf
h c)
Source
genStrf
::
Functor
h => (a -> c) -> (a -> h a) -> a ->
Strf
h c
Source
strfToList
::
Strf
Maybe
a -> [a]
Source
Produced by
Haddock
version 2.3.0