open-witness-0.4.0.1: open witnesses

Safe Haskell	None
Language	Haskell2010

Data.OpenWitness.Instance

Documentation

data Instance Source #

Constructors

t => MkInstance (TypeRep t)

findInstance :: [Instance] -> TypeRep t -> Maybe (Dict t) Source #