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]

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

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

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

gpoint' :: a -> f t a