types-compat 0.1.0 → 0.1.1

raw patch · 2 files changed

+37/−1 lines, 2 filesdep ~base

Dependency ranges changed: base

Files

• src/GHC/TypeLits/Compat.hs +36/−0
• types-compat.cabal +1/−1

@@ -1,3 +1,5 @@+{-# OPTIONS_HADDOCK ignore-exports #-}+ {-# LANGUAGE ExistentialQuantification #-} {-# LANGUAGE UndecidableInstances #-} {-# LANGUAGE ScopedTypeVariables #-}@@ -9,6 +11,40 @@ {-# LANGUAGE PolyKinds #-} {-# LANGUAGE DataKinds #-} {-# LANGUAGE CPP #-}++-- | this module exports:+--+-- Kinds:+--+-- @+-- Nat+-- Symbol+-- @+--+-- Classes:+--+-- @+-- KnownNat n+-- KnownSymbol n+-- @+--+-- Values:+--+-- @+-- natVal :: forall n proxy. KnownNat n => proxy n -> Integer+-- symbolVal :: forall n proxy. KnownSymbol n => proxy n -> String+-- @+--+-- types+--+-- @+-- type (<=) x y = (x <=? y) ~ True+--+-- type family m <=? n :: Bool+-- type family m + n :: Nat+-- type family m * n :: Nat+-- type family m * n :: Nat+-- @  module GHC.TypeLits.Compat     ( -- * Kinds

@@ -1,5 +1,5 @@ name:                types-compat-version:             0.1.0+version:             0.1.1 synopsis:            ghc-7.6/7.8 compatible GHC.TypeLits, Data.Typeable and Data.Proxy. license:             MIT license-file:        LICENSE