graphted-0.1.0.1: Graph indexed monads.

Copyright(c) Aaron Friel
LicenseBSD-3
MaintainerAaron Friel <mayreply@aaronfriel.com>
Stabilityunstable
Portabilityportable
Safe HaskellSafe
LanguageHaskell2010

Data.Pointed.Graph

Description

 

Synopsis

Documentation

class GPointed f where Source #

Pointed functor.

Minimal complete definition

gpoint'

Associated Types

type Pure f :: p Source #

Methods

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

Accessible only with type applications.

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

Instances

Applicative f => GPointed * (GWrapped f) Source # 

Associated Types

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

Methods

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

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