Pandora.Pattern.Functor.Pointable

Documentation

class Covariant t => Pointable t where

Methods

point :: a |-> t

Instances

Pointable Delta

Defined in Pandora.Paradigm.Primary.Functor.Delta

Methods

point :: a |-> Delta

Pointable Identity

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

point :: a |-> Identity

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

Pointable (Conclusion e)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

point :: a |-> Conclusion e

Monoid e => Pointable (Accumulator e)

Defined in Pandora.Paradigm.Inventory.Accumulator

Methods

point :: a |-> Accumulator e

Pointable (State s)

Defined in Pandora.Paradigm.Inventory.State

Methods

point :: a |-> State s

Avoidable t => Pointable (Construction t)

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

point :: a |-> Construction t

Pointable (Environment e)

Defined in Pandora.Paradigm.Inventory.Environment

Methods

point :: a |-> Environment e

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

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

Methods

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

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

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

Methods

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

Pointable (Tagged tag)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

point :: a |-> Tagged tag

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 ((->) 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, Monoid e) => Pointable (UT Covariant Covariant ((:*:) e) u)

Defined in Pandora.Paradigm.Inventory.Accumulator

Methods

point :: a |-> UT Covariant Covariant ((:*:) e) u

Pointable u => Pointable (UT Covariant Covariant Maybe u)

Defined in Pandora.Paradigm.Primary.Functor.Maybe

Methods

point :: a |-> UT Covariant Covariant Maybe u

Pointable u => Pointable (UT Covariant Covariant (Conclusion e) u)

Defined in Pandora.Paradigm.Primary.Functor.Conclusion

Methods

point :: a |-> UT Covariant Covariant (Conclusion e) u

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

Defined in Pandora.Paradigm.Inventory.Environment

Methods

point :: a |-> TU Covariant Covariant ((->) e) u

(Avoidable t, Pointable u) => Pointable (TU Covariant Covariant u (Construction t))

Defined in Pandora.Paradigm.Primary.Transformer.Construction

Methods

point :: a |-> TU Covariant Covariant u (Construction t)

Pointable u => Pointable (TUT Covariant Covariant Covariant ((->) s :: Type -> Type) ((:*:) s) u)

Defined in Pandora.Paradigm.Inventory.State

Methods

point :: a |-> TUT Covariant Covariant Covariant ((->) s) ((:*:) s) u