Hackage :: [Package]

Metadata revisions for ghc-typelits-presburger-0.1.0.0

Package maintainers and Hackage trustees are allowed to edit certain bits of package metadata after a release, without uploading a new tarball. Note that the tarball itself is never changed, just the metadata that is stored separately. For more information about metadata revisions, please refer to the Hackage Metadata Revisions FAQ.

No. Time User SHA256
-r6 (ghc-typelits-presburger-0.1.0.0-r6) 2016-07-27T13:06:20Z HiromiIshii 36bbf66eb11f1937d0c389922c9d515705a35ec86f6a4f9ca796de0602d66df4

  • Changed description from 

    @ghc-typelits-presburger@ augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers.
You can use by adding this package to @build-depends@ and add the following pragma to the head of .hs files:
> OPTIONS_GHC -fplugin GHC.TypeLits.Presburger
    to 
    @ghc-typelits-presburger@ augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers.
You can use by adding this package to @build-depends@ and add the following pragma to the head of .hs files:

> OPTIONS_GHC -fplugin GHC.TypeLits.Presburger
-r5 (ghc-typelits-presburger-0.1.0.0-r5) 2016-07-27T13:01:49Z HiromiIshii 01bec9edaa02b56b201631cdf4b3207ed152f425fc330581700493fd8f43cf97

  • Changed description from 

    @ghc-typelits-presburger@ augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers.
You can use this by just add this package to @build-depends@ and add the following pragma to the head of .hs files:
> OPTIONS_GHC -fplugin GHC.TypeLits.Presburger
    to 
    @ghc-typelits-presburger@ augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers.
You can use by adding this package to @build-depends@ and add the following pragma to the head of .hs files:
> OPTIONS_GHC -fplugin GHC.TypeLits.Presburger
-r4 (ghc-typelits-presburger-0.1.0.0-r4) 2016-07-27T13:01:05Z HiromiIshii de41ee0d2265f06678a5afbf50587714cef3117e9d6a13cd87771221410d7917

  • Changed description from 

    @ghc-typelits-presburger@ augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers.
You can use this by just add this package to @build-depends@ and the following line to the head of .hs files:
> {-# OPTIONS_GHC -fplugin GHC.TypeLits.Presburger #-}
    to 
    @ghc-typelits-presburger@ augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers.
You can use this by just add this package to @build-depends@ and add the following pragma to the head of .hs files:
> OPTIONS_GHC -fplugin GHC.TypeLits.Presburger
-r3 (ghc-typelits-presburger-0.1.0.0-r3) 2016-07-27T12:56:36Z HiromiIshii 88d4aa4a40ed738ccc3dbe2dc6ce3843cf496d889affe5b1eed415c98e45c9ff

  • Changed description from 

    @ghc-typelits-presburger@ augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers.
You can use this by just add this package to @build-depends@ and the following line to the head of .hs files:
{-# OPTIONS_GHC -fplugin GHC.TypeLits.Presburger #-}
    to 
    @ghc-typelits-presburger@ augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers.
You can use this by just add this package to @build-depends@ and the following line to the head of .hs files:
> {-# OPTIONS_GHC -fplugin GHC.TypeLits.Presburger #-}
-r2 (ghc-typelits-presburger-0.1.0.0-r2) 2016-07-27T12:54:57Z HiromiIshii 4ac1d4163fd5c41cb2473bec646eb34534c7da5601ad592890f0bf76d481a6fd

  • Changed description from 

    @ghc-typelits-presburger@ augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers.
You can use this by just add this package to @build-depends@ and the following line to the head of .hs files:
@
{-# OPTIONS_GHC -fplugin GHC.TypeLits.Presburger #-}
@
    to 
    @ghc-typelits-presburger@ augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers.
You can use this by just add this package to @build-depends@ and the following line to the head of .hs files:
{-# OPTIONS_GHC -fplugin GHC.TypeLits.Presburger #-}
-r1 (ghc-typelits-presburger-0.1.0.0-r1) 2016-07-27T12:54:10Z HiromiIshii 64e960c1092cb985ea3ab57b58354450caf6a9ad3f1bd6ea2e87a03612c84950

  • Changed synopsis from 

    Initial project template from stack
    to 
    Presburger Arithmetic Solver for GHC Type-level natural numbers

  • Changed description from 

    Please see README.md
    to 
    @ghc-typelits-presburger@ augments GHC type-system with Presburger Arithmetic Solver for Type-level natural numbers.
You can use this by just add this package to @build-depends@ and the following line to the head of .hs files:
@
{-# OPTIONS_GHC -fplugin GHC.TypeLits.Presburger #-}
@
-r0 (ghc-typelits-presburger-0.1.0.0-r0) 2016-07-27T12:43:53Z HiromiIshii 3ae50aee8a77b9c2fe914c08098e665dd3ab21d4f7bf1c56c8fa5cab8244eade