Data.Pointed.Graph

Documentation

class GPointed f where

Graph indexed pointed functor.

Minimal complete definition

gpoint

Associated Types

type Pure f :: p

The pure element of the graph index.

Methods

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

Return a pointed functor indexed by the Pure type instance (pure).

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

Instances

Applicative f => GPointed * (GWrapped f)

Associated Types

type Pure (GWrapped f) (f :: GWrapped f -> * -> *) :: p

Methods

gpoint :: a -> f (Pure (GWrapped f) f) a