Pandora.Paradigm.Structure.Interface.Dictionary

Documentation

class Dictionary a k t where

Methods

(?=) :: k -> t a -> Maybe a

Instances

(Monotonic (Keyed k a) (t (Keyed k a)), Setoid k) => Dictionary a k (Prefixed t k)

Defined in Pandora.Paradigm.Structure.Modification.Prefixed

Methods

(?=) :: k -> Prefixed t k a -> Maybe a