Pandora.Pattern.Functor.Pointable

Documentation

class Covariant t => Pointable t where

Minimal complete definition

point

Methods

point :: a :=> t

pass :: t ()

Instances

Pointable Identity

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

point :: a :=> Identity

pass :: Identity ()

Pointable Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

point :: a :=> Maybe

pass :: Maybe ()

Pointable (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Proxy

Methods

point :: a :=> Proxy

pass :: Proxy ()

(forall (u :: Type -> Type). Avoidable u) => Pointable (Jet t)

Defined in Pandora.Paradigm.Primary.Transformer.Jet

Methods

point :: a :=> Jet t

pass :: Jet t ()

Pointable (Wedge e)

Defined in Pandora.Paradigm.Primary.Functor.Wedge

Methods

point :: a :=> Wedge e

pass :: Wedge e ()

Pointable (These e)

Defined in Pandora.Paradigm.Primary.Functor.These

Methods

point :: a :=> These e

pass :: These e ()

Pointable (Validation e)

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

point :: a :=> Validation e

pass :: Validation e ()

Pointable t => Pointable (Yoneda t)

Defined in Pandora.Paradigm.Primary.Transformer.Yoneda

Methods

point :: a :=> Yoneda t

pass :: Yoneda t ()

Covariant t => Pointable (Jack t)

Defined in Pandora.Paradigm.Primary.Transformer.Jack

Methods

point :: a :=> Jack t

pass :: Jack t ()

Pointable (Outline t)

Defined in Pandora.Paradigm.Primary.Transformer.Outline

Methods

point :: a :=> Outline t

pass :: Outline t ()

Avoidable t => Pointable (Tap t)

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

point :: a :=> Tap t

pass :: Tap t ()

Covariant t => Pointable (Instruction t)

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

point :: a :=> Instruction t

pass :: Instruction t ()

Avoidable t => Pointable (Construction t)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

point :: a :=> Construction t

pass :: Construction t ()

Pointable (Conclusion e)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

point :: a :=> Conclusion e

pass :: Conclusion e ()

(Avoidable t, Pointable t) => Pointable (Comprehension t)

Defined in Pandora.Paradigm.Structure.Modification.Comprehension

Methods

point :: a :=> Comprehension t

pass :: Comprehension t ()

Pointable (State s)

Defined in Pandora.Paradigm.Inventory.State

Methods

point :: a :=> State s

pass :: State s ()

Pointable (Environment e)

Defined in Pandora.Paradigm.Inventory.Environment

Methods

point :: a :=> Environment e

pass :: Environment e ()

Monoid e => Pointable (Accumulator e)

Defined in Pandora.Paradigm.Inventory.Accumulator

Methods

point :: a :=> Accumulator e

pass :: Accumulator e ()

Pointable (Tagged tag)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

point :: a :=> Tagged tag

pass :: Tagged tag ()

(Monoid k, Pointable t) => Pointable (Prefixed t k)

Defined in Pandora.Paradigm.Structure.Modification.Prefixed

Methods

point :: a :=> Prefixed t k

pass :: Prefixed t k ()

Pointable (Schematic Monad t u) => Pointable (t :> u)

Defined in Pandora.Paradigm.Controlflow.Effect.Transformer.Monadic

Methods

point :: a :=> (t :> u)

pass :: (t :> u) ()

(Pointable t, Pointable u) => Pointable (Day t u)

Defined in Pandora.Paradigm.Primary.Transformer.Day

Methods

point :: a :=> Day t u

pass :: Day t u ()

Pointable t => Pointable (Backwards t)

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

point :: a :=> Backwards t

pass :: Backwards t ()

Pointable t => Pointable (Reverse t)

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

point :: a :=> Reverse t

pass :: Reverse t ()

Pointable (Schematic Comonad t u) => Pointable (t :< u)

Defined in Pandora.Paradigm.Controlflow.Effect.Transformer.Comonadic

Methods

point :: a :=> (t :< u)

pass :: (t :< u) ()

Pointable ((->) e :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Function

Methods

point :: a :=> (->) e

pass :: e -> ()

Covariant t => Pointable (Continuation r t)

Defined in Pandora.Paradigm.Primary.Transformer.Continuation

Methods

point :: a :=> Continuation r t

pass :: Continuation r t ()

(Pointable u, Adjoint t' t) => Pointable ((t <:<.>:> t') := u)

Defined in Pandora.Paradigm.Schemes.TUT

Methods

point :: a :=> ((t <:<.>:> t') := u)

pass :: ((t <:<.>:> t') := u) ()

(Pointable t, Pointable u) => Pointable (t <.:> u)

Defined in Pandora.Paradigm.Schemes.UT

Methods

point :: a :=> (t <.:> u)

pass :: (t <.:> u) ()

(Pointable u, Monoid e) => Pointable ((:*:) e <.:> u)

Defined in Pandora.Paradigm.Inventory.Accumulator

Methods

point :: a :=> ((:*:) e <.:> u)

pass :: ((:*:) e <.:> u) ()

(Pointable t, Pointable u) => Pointable (t <:.> u)

Defined in Pandora.Paradigm.Schemes.TU

Methods

point :: a :=> (t <:.> u)

pass :: (t <:.> u) ()