open-witness-0.6: open witnesses
Safe HaskellNone
LanguageHaskell2010

Data.Type.OpenWitness.Instance

Documentation

data Instance Source #

Constructors

t => MkInstance (TypeRep t) 

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