Copyright | (c) Aaron Friel |
---|---|

License | BSD-3 |

Maintainer | Aaron Friel <mayreply@aaronfriel.com> |

Stability | unstable |

Portability | portable |

Safe Haskell | Safe |

Language | Haskell2010 |

# Documentation

class GPointed f where Source #

Graph indexed pointed functor.

gpoint :: forall a. a -> f (Pure f) a Source #

Return a pointed functor indexed by the `Pure`

type instance (`pure`

).

`>>>`

:: GWrapped Maybe () [Char]`:t gpoint @_ @(GWrapped Maybe) "Hello, World"`

gpoint' :: forall t a. a -> f t a Source #

Return a pointed functor indexed by a type `t`

in the domain of `p`

.

Accessible with type applications, e.g.:

`>>>`

gpoint' @_ @(GWrapped Maybe) @Int :: a -> GWrapped Maybe Int a`:t gpoint' @_ @(GWrapped Maybe) @Int`