Pandora.Paradigm.Inventory.Ability.Modifiable

Documentation

class (Gettable i, Settable i) => Modifiable i where

Associated Types

type Modification i e r :: *

Methods

modify :: Modification i e r

Instances

Modifiable State

Defined in Pandora.Paradigm.Inventory.Some.State

Associated Types

type Modification State e r

Methods

modify :: Modification State e r

(Gettable (Lens t), Covariant ((->) :: Type -> Type -> Type) ((->) :: Type -> Type -> Type) t, Pointable t) => Modifiable (Lens t :: Type -> Type -> Type)

Defined in Pandora.Paradigm.Inventory.Some.Optics

Associated Types

type Modification (Lens t) e r

Methods

modify :: Modification (Lens t) e r