Commits

Takayuki Muranushi committed 173e685

start modification of Convertible to use type families.

Note that to build the document for this, we need haddock >= 2.12.1 .
(see http://trac.haskell.org/haddock/ticket/213)
This can be obtained from ghc-7.6 branch of
git@github.com:sol/haddock.git

  • Participants
  • Parent commits 9dffc9c

Comments (0)

Files changed (1)

 type U a = '[ '(a, POne) ]
 
 -- | Shorthand to create a 'Value' type from just one base unit.
-type (x :| b) = (Convertible a b) => Value a (U b) x 
+type (x :| b) = (Convertible a b) => Value a (U b) x
 
 
-type family TF b
-type instance TF b = Value (DimType b) (U b) Double
+-- type family TF b
+-- type instance TF b = Value (DimType b) (U b) Double
 
 -- | Shorthand to Create a 'Value' type from a compound unit.
 type (x :*| b) = (Convertible' a b) => Value a b x