type-aligned 0.9.1 → 0.9.2

raw patch · 11 files changed

+20/−19 lines, 11 files

Files

ChangeLog +1/−0
Data/TASequence/BinaryTree.hs +2/−2
Data/TASequence/Class.hs +2/−2
Data/TASequence/ConsList.hs +2/−2
Data/TASequence/FastCatQueue.hs +2/−2
Data/TASequence/FastQueue.hs +2/−2
Data/TASequence/FingerTree.hs +2/−2
Data/TASequence/Queue.hs +2/−2
Data/TASequence/SnocList.hs +2/−2
Data/TASequence/ToCatQueue.hs +2/−2
type-aligned.cabal +1/−1

ChangeLog view

@@ -1,2 +1,3 @@+0.9.2: Fixed some very small errors 0.9.1: Fixed some typos in the docs 0.9: Initial version

Data/TASequence/BinaryTree.hs view

@@ -15,9 +15,9 @@ -- elements and then nodes are '><'. -- ------------------------------------------------------------------------------module Data.TASequence.BinaryTree(module Data.TASequence.Class, BinaryTree) where+module Data.TASequence.BinaryTree(module Data.TASequence, BinaryTree) where -import  Data.TASequence.Class+import  Data.TASequence  data BinaryTree c x y where   Empty :: BinaryTree c x x

Data/TASequence/Class.hs view

@@ -4,7 +4,7 @@  ----------------------------------------------------------------------------- -- |--- Module      :  Data.TASequence.Class+-- Module      :  Data.TASequence -- Copyright   :  (c) Atze van der Ploeg 2014 -- License     :  BSD-style -- Maintainer  :  atzeus@gmail.org@@ -37,7 +37,7 @@ -- Paper: <http://homepages.cwi.nl/~ploeg/zseq.pdf> -- Talk : <http://www.youtube.com/watch?v=_XoI65Rxmss> ------------------------------------------------------------------------------module Data.TASequence.Class(TASequence(..), TAViewL(..), TAViewR(..)) where+module Data.TASequence(TASequence(..), TAViewL(..), TAViewR(..)) where  import Control.Category import Prelude hiding ((.),id)

Data/TASequence/ConsList.hs view

@@ -14,8 +14,8 @@ -- A type aligned sequence, a head-tail list, with worst case constant time: '<|', and 'tviewl'. -- ------------------------------------------------------------------------------module Data.TASequence.ConsList(module Data.TASequence.Class,ConsList(..)) where-import Data.TASequence.Class+module Data.TASequence.ConsList(module Data.TASequence,ConsList(..)) where+import Data.TASequence  data ConsList c x y where   CNil :: ConsList c x x

Data/TASequence/FastCatQueue.hs view

@@ -12,9 +12,9 @@ -- A type aligned sequence, a catanable queue, with worst case constant time: '><', '|>', '<|' and 'tviewl'. -- ------------------------------------------------------------------------------module Data.TASequence.FastCatQueue(module Data.TASequence.Class, FastTCQueue) where+module Data.TASequence.FastCatQueue(module Data.TASequence, FastTCQueue) where -import Data.TASequence.Class+import Data.TASequence import Data.TASequence.FastQueue import Data.TASequence.ToCatQueue

Data/TASequence/FastQueue.hs view

@@ -17,9 +17,9 @@ -- ----------------------------------------------------------------------------- -module Data.TASequence.FastQueue(FastQueue) where+module Data.TASequence.FastQueue(module Data.TASequence, FastQueue) where -import Data.TASequence.Class+import Data.TASequence import Data.TASequence.ConsList import Data.TASequence.SnocList

Data/TASequence/FingerTree.hs view

@@ -19,11 +19,11 @@ --   Ralf Hinze and Ross Paterson. in Journal of Functional Programming16:2 (2006), pages 197-217. -- ------------------------------------------------------------------------------module Data.TASequence.FingerTree (module Data.TASequence.Class, FingerTree ) where+module Data.TASequence.FingerTree (module Data.TASequence, FingerTree ) where   -import Data.TASequence.Class+import Data.TASequence   data FingerTree r a b where

Data/TASequence/Queue.hs view

@@ -19,9 +19,9 @@ -- section 8.4: Queues based on implicit recursive slowdown -- ------------------------------------------------------------------------------module Data.TASequence.Queue(module Data.TASequence.Class,Queue)  where+module Data.TASequence.Queue(module Data.TASequence,Queue)  where -import Data.TASequence.Class+import Data.TASequence  data P c a b where   (:*) :: c a w -> c w b -> P c a b

Data/TASequence/SnocList.hs view

@@ -14,9 +14,9 @@ -- ----------------------------------------------------------------------------- -module Data.TASequence.SnocList(module Data.TASequence.Class,SnocList(..))  where+module Data.TASequence.SnocList(module Data.TASequence,SnocList(..))  where -import Data.TASequence.Class+import Data.TASequence  data SnocList c x y where   SNil :: SnocList c x x

Data/TASequence/ToCatQueue.hs view

@@ -19,10 +19,10 @@ -- ----------------------------------------------------------------------------- -module Data.TASequence.ToCatQueue(ToCatQueue) where+module Data.TASequence.ToCatQueue(module Data.TASequence,ToCatQueue) where  -import Data.TASequence.Class+import Data.TASequence  -- | The catenable queue type. The first type argument is the  -- type of the queue we use (|>)

type-aligned.cabal view

@@ -1,5 +1,5 @@ Name:                type-aligned-Version:             0.9.1+Version:             0.9.2 Synopsis:	         Various type-aligned sequence data structures. Description:         Various data structures for type aligned sequences: heterogeneous sequences where the types enforce the element order. License:             BSD3