clr-typed-0.2.0: A strongly typed Haskell interface to the CLR type system

Safe HaskellNone
LanguageHaskell2010

Clr.Resolver.ImplicitConversions

Documentation

type family ImplicitConvExists (x :: Type) (y :: Type) :: Bool where ... Source #

Equations

ImplicitConvExists t t = True 
ImplicitConvExists t1 t2 = ImpNumConvExists t1 t2 || (ImpEnumConvExists t1 t2 || (ImpRefConvExists t1 t2 || (ImpBoxConvExists t1 t2 || ImpConstConvExists t1 t2)))