Pandora.Paradigm.Structure.Interface.Dictionary
type Dictionary f t = Morphable (Lookup f) t Source #
lookup :: forall f k t u a. (Dictionary f t, Morphing (Lookup f) t ~ ((->) k <:.> u)) => k -> t a -> u a Source #
discover :: forall f k v t u a. (Dictionary f t, Morphing (Lookup f) t ~ ((->) (v k) <:.> u)) => v k -> t a -> u a Source #