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.Inventory.Optics
type Arguments (P_Q_T (->) Store Identity source target) = (args :: Type) Source #
imply :: Arguments (P_Q_T (->) Store Identity 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 #