ghc-typelits-extra-0.1.2: Additional type-level operations on GHC.TypeLits.Nat

Copyright(C) 2015-2016, University of Twente
LicenseBSD2 (see the file LICENSE)
MaintainerChristiaan Baaij <christiaan.baaij@gmail.com>
Safe HaskellNone
LanguageHaskell2010
Extensions
  • Cpp
  • TupleSections

GHC.TypeLits.Extra.Solver

Description

To use the plugin, add the

{-# OPTIONS_GHC -fplugin GHC.TypeLits.Extra.Solver #-}

pragma to the header of your file

Synopsis

Documentation

plugin :: Plugin Source

A solver implement as a type-checker plugin for:

  • GHC.TypeLits.Extra.GCD: a type-level gcd
  • GHC.TypeLits.Extra.CLog: type-level equivalent of "clog x y = ceiling (logBase x y)"

To use the plugin, add

{-# OPTIONS_GHC -fplugin GHC.TypeLits.Extra.Solver #-}

To the header of your file.