ghc-typelits-extra-0.2.5: 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:

To use the plugin, add

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

To the header of your file.