Safe Haskell | Safe |
---|---|

Language | Haskell2010 |

# Documentation

class Decomposed d where Source #

A type class for types `d :: (* -> *) -> * -> *`

that
represent compositions of functors. For a functor `f :: * -> *`

,
`d f t`

should look like some functor applied to the type `f t`

,
and `fmap1`

is just `fmap`

for that functor.