Permalink
Browse files

Finis rename

  • Loading branch information...
1 parent fa58886 commit 8eba175bd9f0a48c92e87098e6d65c8b3ad0cc18 @Shimuuar committed Jul 31, 2010
View
2 TypeLevel/Boolean.hs
@@ -1,6 +1,6 @@
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE EmptyDataDecls #-}
-module Types.Boolean ( True
+module TypeLevel.Boolean ( True
, False
-- * Boolean operations
, Not
View
4 TypeLevel/Number/Classes.hs
@@ -5,7 +5,7 @@
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE UndecidableInstances #-}
-- |
--- Module : Types.Number.Classes
+-- Module : TypeLevel.Number.Classes
-- Copyright : Alexey Khudyakov
-- License : BSD3-style (see LICENSE)
--
@@ -15,7 +15,7 @@
--
-- This module contain interface type classes for operations with type
-- level numbers.
-module Types.Number.Classes ( -- * Conversion to values
+module TypeLevel.Number.Classes ( -- * Conversion to values
TypeInt(..)
-- * Comparison of numbers
, Compare
View
12 TypeLevel/Number/Int.hs
@@ -6,7 +6,7 @@
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TemplateHaskell #-}
-- |
--- Module : Types.Number.Int
+-- Module : TypeLevel.Number.Int
-- Copyright : Alexey Khudyakov
-- License : BSD3-style (see LICENSE)
--
@@ -19,22 +19,22 @@
--
-- Currently following operations are supported: Next, Prev, Add, Sub,
-- Mul.
-module Types.Number.Int ( -- * Integer numbers
+module TypeLevel.Number.Int ( -- * Integer numbers
ZZ
, Dn
, D0
, D1
, IntT
-- * Template haskell utilities
, intT
- , module Types.Number.Classes
+ , module TypeLevel.Number.Classes
) where
import Language.Haskell.TH
-import Types.Number.Classes
-import Types.Number.Int.Types
-import Types.Util
+import TypeLevel.Number.Classes
+import TypeLevel.Number.Int.Types
+import TypeLevel.Util
splitToTrits :: Integer -> [Int]
View
2 TypeLevel/Number/Int/Types.hs
@@ -1,5 +1,5 @@
{-# LANGUAGE EmptyDataDecls #-}
-module Types.Number.Int.Types where
+module TypeLevel.Number.Int.Types where
-- | Digit -1
data Dn n
View
14 TypeLevel/Number/Nat.hs
@@ -6,7 +6,7 @@
{-# LANGUAGE TypeFamilies #-}
{-# LANGUAGE TemplateHaskell #-}
-- |
--- Module : Types.Number.Nat
+-- Module : TypeLevel.Number.Nat
-- Copyright : Alexey Khudyakov
-- License : BSD3-style (see LICENSE)
--
@@ -40,8 +40,8 @@
-- Prev, Add, Sub, Mul. All operations on numbers return normalized
-- numbers.
--
--- Interface type classes are reexported from Types.Number.Classes
-module Types.Number.Nat ( -- * Natural numbers
+-- Interface type classes are reexported from TypeLevel.Number.Classes
+module TypeLevel.Number.Nat ( -- * Natural numbers
I
, O
, Z
@@ -50,14 +50,14 @@ module Types.Number.Nat ( -- * Natural numbers
-- $TH
, natT
, nat
- , module Types.Number.Classes
+ , module TypeLevel.Number.Classes
) where
import Language.Haskell.TH
-import Types.Number.Classes
-import Types.Number.Nat.Types
-import Types.Util
+import TypeLevel.Number.Classes
+import TypeLevel.Number.Nat.Types
+import TypeLevel.Util
splitToBits :: Integer -> [Int]
splitToBits 0 = []
View
4 TypeLevel/Number/Nat/Num.hs
@@ -1,7 +1,7 @@
{-# LANGUAGE TemplateHaskell #-}
-module Types.Number.Nat.Num where
+module TypeLevel.Number.Nat.Num where
-import Types.Number.Nat
+import TypeLevel.Number.Nat
type N0 = $(natT 0)
type N1 = $(natT 1)
View
2 TypeLevel/Number/Nat/Types.hs
@@ -1,5 +1,5 @@
{-# LANGUAGE EmptyDataDecls #-}
-module Types.Number.Nat.Types ( I
+module TypeLevel.Number.Nat.Types ( I
, O
, Z
) where
View
2 TypeLevel/Util.hs
@@ -1,4 +1,4 @@
-module Types.Util ( cdr
+module TypeLevel.Util ( cdr
) where
cdr :: t a -> a
View
4 test/TestNat.hs
@@ -4,8 +4,8 @@ module TestNat where
import Language.Haskell.TH
import Text.Printf
-import Types.Number.Nat
-import Types.Number.Int
+import TypeLevel.Number.Nat
+import TypeLevel.Number.Int
text :: Bool -> String
text flag = if flag then "OK" else "Failed"
View
24 type-numbers.cabal
@@ -18,14 +18,14 @@ Description:
.
Package is structured as folows:
.
- * [@Types.Number.Classes@] contain generic type families such as Add
+ * [@TypeLevel.Number.Classes@] contain generic type families such as Add
.
- * [@Types.Number.Nat@] natural numbers implemented using binary encoding
+ * [@TypeLevel.Number.Nat@] natural numbers implemented using binary encoding
.
- * [@Types.Number.Int@] signed integers implemented using balanced
+ * [@TypeLevel.Number.Int@] signed integers implemented using balanced
ternary encoding
.
- * [@Types.Boolean@] type level booleans
+ * [@TypeLevel.Boolean@] type level booleans
.
So far comparison of numbers, subtraction and multiplication of
numbers are supported.
@@ -37,11 +37,11 @@ source-repository head
Library
Build-Depends: base >=3 && <5,
template-haskell > 2.0
- Exposed-modules: Types.Number.Classes
- Types.Number.Nat
- Types.Number.Nat.Num
- Types.Number.Int
- Types.Boolean
- Other-modules: Types.Number.Nat.Types
- Types.Number.Int.Types
- Types.Util
+ Exposed-modules: TypeLevel.Number.Classes
+ TypeLevel.Number.Nat
+ TypeLevel.Number.Nat.Num
+ TypeLevel.Number.Int
+ TypeLevel.Boolean
+ Other-modules: TypeLevel.Number.Nat.Types
+ TypeLevel.Number.Int.Types
+ TypeLevel.Util

0 comments on commit 8eba175

Please sign in to comment.