Copyright	(C) 2015, Christiaan Baaij
License	BSD2 (see the file LICENSE)
Maintainer	Christiaan Baaij <christiaan.baaij@gmail.com>
Safe Haskell	None
Language	Haskell2010
Extensions	TupleSections

GHC.TypeLits.Extra.Solver

Description

Synopsis

Documentation

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.