Commits

Aleksey Khudyakov  committed 8f712a1

Remove N0 and D.V.F.Cont.mk0

They are synonyms to Z and empty respectively

  • Participants
  • Parent commits 0611066

Comments (0)

Files changed (2)

File Data/Vector/Fixed/Cont.hs

     S
   , Z
     -- ** Synonyms for small numerals
-  , N0    
   , N1
   , N2
   , N3
   , cons
   , consV
   , snoc
-  , mk0
   , mk1
   , mk2
   , mk3
 -- | Successor of n
 data S n deriving Typeable
 
-type N0 = Z
 type N1 = S Z
 type N2 = S N1
 type N3 = S N2
 
 newtype T_basis n = T_basis Int
 
-mk0 :: ContVec N0 a
-mk0 = ContVec $ \(Fun a) -> a
-{-# INLINE mk0 #-}
 
 mk1 :: a -> ContVec N1 a
 mk1 a1 = ContVec $ \(Fun f) -> f a1

File Data/Vector/Fixed/Internal.hs

 infixr 1 <|
 
 
-mk0 :: (Vector v a, Dim v ~ C.N0) => v a
+mk0 :: (Vector v a, Dim v ~ C.Z) => v a
 mk0 = vector $ C.empty
 {-# INLINE mk0 #-}