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
).
>>>
:t gpoint @_ @(GWrapped Maybe) "Hello, World"
:: GWrapped Maybe () [Char]
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.:
>>>
:t gpoint' @_ @(GWrapped Maybe) @Int
gpoint' @_ @(GWrapped Maybe) @Int :: a -> GWrapped Maybe Int a