Copyright | (C) 2015, University of Twente |
---|---|
License | BSD2 (see the file LICENSE) |
Maintainer | Christiaan Baaij <christiaan.baaij@gmail.com> |
Safe Haskell | Safe |
Language | Haskell2010 |
Extensions |
|
Additional type-level operations on Nat
:
A custom solver for the above operations defined is defined in GHC.TypeLits.Extra.Solver as a GHC type-checker plugin. To use the plugin, add the
{-# OPTIONS_GHC -fplugin GHC.TypeLits.Extra.Solver #-}
pragma to the header of your file.
Documentation
type family GCD x y :: Nat Source
Type-level greatest common denominator (GCD).
Note that additional equations are provided by the type-checker plugin solver GHC.TypeLits.Extra.Solver.
GCD 0 x = x |