Pandora.Core.Impliable
class Impliable result where Source #
Associated Types
type Arguments result = args | args -> result Source #
Methods
imply :: Arguments result Source #
Defined in Pandora.Paradigm.Structure.Ability.Zipper
type Arguments (Tape t a) = (args :: Type) Source #
imply :: Arguments (Tape t a) Source #
Defined in Pandora.Paradigm.Inventory.Some.Optics
type Arguments (P_Q_T (->) Store Exactly source target) = (args :: Type) Source #
imply :: Arguments (P_Q_T (->) Store Exactly source target) Source #
type Arguments (P_Q_T (->) Store Maybe source target) = (args :: Type) Source #
imply :: Arguments (P_Q_T (->) Store Maybe source target) Source #