Data.Pointed.Graph

Documentation

class GPointed f where

Graph indexed pointed functor.

Minimal complete definition

gpure'

Associated Types

type Pure f :: p

The pure element of the graph index.

type PureCxt f (i :: p) :: Constraint

A constraint on generating a pure index from a free variable. Default is empty.

Methods

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

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

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

gpure :: PureCxt f (Pure f) => a -> f (Pure f) a

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

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

gpure' :: forall t a. PureCxt f t => 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 gpure' @_ @(GWrapped Maybe) @Int
gpure' @_ @(GWrapped Maybe) @Int :: a -> GWrapped Maybe Int a

Instances

Applicative f => GPointed * (GWrapped f)

Associated Types

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

type PureCxt (GWrapped f) (f :: GWrapped f -> * -> *) (i :: GWrapped f) :: Constraint

Methods

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

gpure' :: PureCxt (GWrapped f) f t => a -> f t a

IxPointed * f => GPointed (*, *) (WrappedIx f)

Associated Types

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

type PureCxt (WrappedIx f) (f :: WrappedIx f -> * -> *) (i :: WrappedIx f) :: Constraint

Methods

gpure :: a -> f (Pure (WrappedIx f) f) a

gpure' :: PureCxt (WrappedIx f) f t => a -> f t a

gpureAt :: forall t a f. (GPointed f, PureCxt f t) => a -> f t a

Return a pointed functor with a given type in the index.

Accessible with type applications, e.g.:

>>> :t gpureAt @Int
gpureAt @Int :: (GPointed f, PureCxt f Int) => a -> f Int a