 | category-extras-0.1: Various modules and constructs inspired by category theory. | Source code | Contents | Index |
| Data.BranchingStream |
| 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:
| ||
| Constructors | ||
| ||
 Instances | ||
| 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 |