open-witness-0.4.0.1: open witnesses

Safe HaskellNone
LanguageHaskell2010

Data.OpenWitness.Instance

Documentation

data Instance #

Constructors

t => MkInstance (TypeRep t) 

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