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

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

GHC.TypeLits.Extra.Solver

Description

 

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.