Pandora.Pattern.Functor.Pointable

Documentation

class Covariant t => Pointable t where

Methods

point :: a |-> t

Instances

Pointable Identity

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

point :: a |-> Identity

Pointable Delta

Defined in Pandora.Paradigm.Primary.Functor.Delta

Methods

point :: a |-> Delta

Pointable Maybe

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

point :: a |-> Maybe

Pointable (Proxy :: Type -> Type)

Defined in Pandora.Paradigm.Primary.Functor.Proxy

Methods

point :: a |-> Proxy

Pointable (Wedge e)

Defined in Pandora.Paradigm.Primary.Functor.Wedge

Methods

point :: a |-> Wedge e

Pointable (These e)

Defined in Pandora.Paradigm.Primary.Functor.These

Methods

point :: a |-> These e

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

Defined in Pandora.Paradigm.Primary.Transformer.Jet

Methods

point :: a |-> Jet t

Pointable (Validation e)

Defined in Pandora.Paradigm.Primary.Functor.Validation

Methods

point :: a |-> Validation e

Pointable t => Pointable (Yoneda t)

Defined in Pandora.Paradigm.Primary.Transformer.Yoneda

Methods

point :: a |-> Yoneda t

Pointable (Outline t)

Defined in Pandora.Paradigm.Primary.Transformer.Outline

Methods

point :: a |-> Outline t

Covariant t => Pointable (Jack t)

Defined in Pandora.Paradigm.Primary.Transformer.Jack

Methods

point :: a |-> Jack t

Covariant t => Pointable (Instruction t)

Defined in Pandora.Paradigm.Primary.Transformer.Instruction

Methods

point :: a |-> Instruction t

Avoidable t => Pointable (Tap t)

Defined in Pandora.Paradigm.Primary.Transformer.Tap

Methods

point :: a |-> Tap t

Pointable (Conclusion e)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

point :: a |-> Conclusion e

Pointable (State s)

Defined in Pandora.Paradigm.Inventory.State

Methods

point :: a |-> State s

Pointable (Environment e)

Defined in Pandora.Paradigm.Inventory.Environment

Methods

point :: a |-> Environment e

Monoid e => Pointable (Accumulator e)

Defined in Pandora.Paradigm.Inventory.Accumulator

Methods

point :: a |-> Accumulator e

Avoidable t => Pointable (Construction t)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

point :: a |-> Construction t

Pointable (Tagged tag)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

point :: a |-> Tagged tag

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

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

Methods

point :: a |-> (t :> u)

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

Defined in Pandora.Paradigm.Primary.Transformer.Day

Methods

point :: a |-> Day t u

Pointable t => Pointable (Backwards t)

Defined in Pandora.Paradigm.Primary.Transformer.Backwards

Methods

point :: a |-> Backwards t

Pointable t => Pointable (Reverse t)

Defined in Pandora.Paradigm.Primary.Transformer.Reverse

Methods

point :: a |-> Reverse t

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

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

Methods

point :: a |-> (t :< u)

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

Defined in Pandora.Pattern.Functor.Pointable

Methods

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

Covariant t => Pointable (Continuation r t)

Defined in Pandora.Paradigm.Primary.Transformer.Continuation

Methods

point :: a |-> Continuation r t

Pointable u => Pointable ((((->) s :: Type -> Type) <:<.>:> (:*:) s) := u)

Defined in Pandora.Paradigm.Inventory.State

Methods

point :: a |-> (((->) s <:<.>:> (:*:) s) := u)

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

Defined in Pandora.Paradigm.Inventory.Accumulator

Methods

point :: a |-> ((:*:) e <.:> u)

Pointable u => Pointable (Maybe <.:> u)

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

point :: a |-> (Maybe <.:> u)

Pointable u => Pointable (Conclusion e <.:> u)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

point :: a |-> (Conclusion e <.:> u)

(Covariant u, Pointable u) => Pointable (((->) e :: Type -> Type) <:.> u)

Defined in Pandora.Paradigm.Inventory.Environment

Methods

point :: a |-> ((->) e <:.> u)

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

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

point :: a |-> (t <:.> Construction u)