Pandora.Paradigm.Structure.Interface.Dictionary

Documentation

type Dictionary f t = Morphable (Lookup f) t

lookup :: forall f k t u a. (Dictionary f t, Morphing (Lookup f) t ~ ((->) k <:.> u)) => k -> t a -> u a

discover :: forall f k v t u a. (Dictionary f t, Morphing (Lookup f) t ~ ((->) (v k) <:.> u)) => v k -> t a -> u a