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

Safe HaskellNone
LanguageHaskell2010

Clr.Resolver.BetterConversion

Documentation

type family IsBetterConv (s :: Type) (t1 :: Type) (t2 :: Type) :: Bool where ... Source #

Equations

IsBetterConv s t1 t2 = BestType s t1 t2 == Just t1