darcs-mirrors/vector.git
10 years agoMove definition of Step to Stream.Monadic
Roman Leshchinskiy [Sun, 21 Sep 2008 06:23:33 +0000 (06:23 +0000)] 
Move definition of Step to Stream.Monadic

10 years agoFix more haddocks
Roman Leshchinskiy [Sun, 21 Sep 2008 06:15:27 +0000 (06:15 +0000)] 
Fix more haddocks

10 years agoFix haddocks
Roman Leshchinskiy [Sun, 21 Sep 2008 06:14:01 +0000 (06:14 +0000)] 
Fix haddocks

10 years agoRewrite Stream.drop
Roman Leshchinskiy [Sun, 21 Sep 2008 02:36:05 +0000 (02:36 +0000)] 
Rewrite Stream.drop

10 years agoAdd comment
Roman Leshchinskiy [Wed, 17 Sep 2008 02:46:03 +0000 (02:46 +0000)] 
Add comment

10 years agoAdd comment
Roman Leshchinskiy [Wed, 17 Sep 2008 02:13:04 +0000 (02:13 +0000)] 
Add comment

10 years agoRemove unnecessary RULES
Roman Leshchinskiy [Wed, 17 Sep 2008 02:11:50 +0000 (02:11 +0000)] 
Remove unnecessary RULES

10 years agoDon't INLINE {take|drop}WhileSlice too early
Roman Leshchinskiy [Wed, 17 Sep 2008 02:09:53 +0000 (02:09 +0000)] 
Don't INLINE {take|drop}WhileSlice too early

10 years agoFix typo
Roman Leshchinskiy [Wed, 17 Sep 2008 02:09:40 +0000 (02:09 +0000)] 
Fix typo

10 years agoAdd prescans
Roman Leshchinskiy [Mon, 15 Sep 2008 09:50:32 +0000 (09:50 +0000)] 
Add prescans

10 years agoAdd the uninplace rule
Roman Leshchinskiy [Mon, 15 Sep 2008 09:21:06 +0000 (09:21 +0000)] 
Add the uninplace rule

10 years agoSimplify IVector.inplace
Roman Leshchinskiy [Mon, 15 Sep 2008 07:48:13 +0000 (07:48 +0000)] 
Simplify IVector.inplace

10 years agoNew.inplace -> New.transform
Roman Leshchinskiy [Mon, 15 Sep 2008 07:46:34 +0000 (07:46 +0000)] 
New.inplace -> New.transform

10 years agoRemove unused code
Roman Leshchinskiy [Mon, 15 Sep 2008 07:44:16 +0000 (07:44 +0000)] 
Remove unused code

10 years agoRefactoring
Roman Leshchinskiy [Mon, 15 Sep 2008 07:43:15 +0000 (07:43 +0000)] 
Refactoring

10 years agoBase Stream on Monadic.Stream
Roman Leshchinskiy [Mon, 15 Sep 2008 06:46:57 +0000 (06:46 +0000)] 
Base Stream on Monadic.Stream

10 years agoMake New a newtype
Roman Leshchinskiy [Thu, 11 Sep 2008 01:23:28 +0000 (01:23 +0000)] 
Make New a newtype

10 years agoBump version
Roman Leshchinskiy [Fri, 8 Aug 2008 15:28:29 +0000 (15:28 +0000)] 
Bump version

10 years agoFusion.MStream -> Fusion.Stream.Monadic
Roman Leshchinskiy [Fri, 8 Aug 2008 07:06:17 +0000 (07:06 +0000)] 
Fusion.MStream -> Fusion.Stream.Monadic

10 years agoUse Stream.Step
Roman Leshchinskiy [Fri, 8 Aug 2008 06:57:07 +0000 (06:57 +0000)] 
Use Stream.Step

10 years agoMove Stream.Step to a separate module
Roman Leshchinskiy [Fri, 8 Aug 2008 06:56:28 +0000 (06:56 +0000)] 
Move Stream.Step to a separate module

10 years agoMore MStream combinators
Roman Leshchinskiy [Fri, 8 Aug 2008 06:53:53 +0000 (06:53 +0000)] 
More MStream combinators

10 years agoSeparate subdir for fusion-related stuff
Roman Leshchinskiy [Fri, 8 Aug 2008 04:31:04 +0000 (04:31 +0000)] 
Separate subdir for fusion-related stuff

10 years agoMVector.Mut -> MVector.New
Roman Leshchinskiy [Fri, 8 Aug 2008 03:40:10 +0000 (03:40 +0000)] 
MVector.Mut -> MVector.New

10 years agoMut.trans -> Mut.modify
Roman Leshchinskiy [Fri, 8 Aug 2008 03:38:12 +0000 (03:38 +0000)] 
Mut.trans -> Mut.modify

10 years agoIVector.zip
Roman Leshchinskiy [Fri, 8 Aug 2008 03:35:43 +0000 (03:35 +0000)] 
IVector.zip

10 years agoupdate, bpermute
Roman Leshchinskiy [Thu, 7 Aug 2008 06:45:42 +0000 (06:45 +0000)] 
update, bpermute

10 years agoNew inplace fusion
Roman Leshchinskiy [Thu, 7 Aug 2008 06:07:09 +0000 (06:07 +0000)] 
New inplace fusion

10 years agorestream -> inplace
Roman Leshchinskiy [Thu, 7 Aug 2008 05:03:33 +0000 (05:03 +0000)] 
restream -> inplace

10 years agoMonadic streams
Roman Leshchinskiy [Thu, 7 Aug 2008 04:37:05 +0000 (04:37 +0000)] 
Monadic streams

10 years agoImplement Mut.restream
Roman Leshchinskiy [Thu, 7 Aug 2008 03:33:57 +0000 (03:33 +0000)] 
Implement Mut.restream

10 years agoAdd mstream, munstream
Roman Leshchinskiy [Thu, 7 Aug 2008 03:03:47 +0000 (03:03 +0000)] 
Add mstream, munstream

11 years agoAdd package information 0_1
Roman Leshchinskiy [Sat, 12 Jul 2008 14:01:06 +0000 (14:01 +0000)] 
Add package information

11 years agoRequire ghc >= 6.9
Roman Leshchinskiy [Sat, 12 Jul 2008 13:31:45 +0000 (13:31 +0000)] 
Require ghc >= 6.9

11 years agoEq and Ord instances
Roman Leshchinskiy [Sat, 12 Jul 2008 13:15:15 +0000 (13:15 +0000)] 
Eq and Ord instances

11 years agoEq and Ord instances for Stream
Roman Leshchinskiy [Sat, 12 Jul 2008 13:08:43 +0000 (13:08 +0000)] 
Eq and Ord instances for Stream

11 years agoMVector.clear
Roman Leshchinskiy [Sat, 12 Jul 2008 13:08:27 +0000 (13:08 +0000)] 
MVector.clear

11 years agoWhitespace only
Roman Leshchinskiy [Sat, 12 Jul 2008 10:50:38 +0000 (10:50 +0000)] 
Whitespace only

11 years agoreverse (mutable only)
Roman Leshchinskiy [Sat, 12 Jul 2008 10:47:22 +0000 (10:47 +0000)] 
reverse (mutable only)

11 years agoFusion rules for in-place map
Roman Leshchinskiy [Sat, 12 Jul 2008 09:52:02 +0000 (09:52 +0000)] 
Fusion rules for in-place map

11 years agoAdapt fusion rules
Roman Leshchinskiy [Sat, 12 Jul 2008 09:39:50 +0000 (09:39 +0000)] 
Adapt fusion rules

11 years agoChange stream/unstream rule
Roman Leshchinskiy [Sat, 12 Jul 2008 09:32:36 +0000 (09:32 +0000)] 
Change stream/unstream rule

11 years agoFusible (//)
Roman Leshchinskiy [Sat, 12 Jul 2008 09:30:45 +0000 (09:30 +0000)] 
Fusible (//)

11 years agoDeclarative combinators for manipulating MVectors with support for fusion
Roman Leshchinskiy [Sat, 12 Jul 2008 09:29:57 +0000 (09:29 +0000)] 
Declarative combinators for manipulating MVectors with support for fusion

11 years agonew -> vnew
Roman Leshchinskiy [Sat, 12 Jul 2008 07:45:02 +0000 (07:45 +0000)] 
new -> vnew

11 years agoRemove unneeded code
Roman Leshchinskiy [Sat, 12 Jul 2008 07:15:03 +0000 (07:15 +0000)] 
Remove unneeded code

11 years agocreate -> new
Roman Leshchinskiy [Sat, 12 Jul 2008 07:13:52 +0000 (07:13 +0000)] 
create -> new

11 years agoChange handling of Monad in MVector and get rid of GADTs
Roman Leshchinskiy [Sat, 12 Jul 2008 06:32:30 +0000 (06:32 +0000)] 
Change handling of Monad in MVector and get rid of GADTs

11 years agoFusible slicing
Roman Leshchinskiy [Sat, 12 Jul 2008 04:41:59 +0000 (04:41 +0000)] 
Fusible slicing

11 years agoFusilbe indexing
Roman Leshchinskiy [Sat, 12 Jul 2008 04:34:20 +0000 (04:34 +0000)] 
Fusilbe indexing

11 years agoFusible length
Roman Leshchinskiy [Sat, 12 Jul 2008 04:32:16 +0000 (04:32 +0000)] 
Fusible length

11 years agoRename rule
Roman Leshchinskiy [Sat, 12 Jul 2008 04:27:15 +0000 (04:27 +0000)] 
Rename rule

11 years agoIndexing
Roman Leshchinskiy [Sat, 12 Jul 2008 04:27:03 +0000 (04:27 +0000)] 
Indexing

11 years ago{take|drop}WhileSlice
Roman Leshchinskiy [Sat, 12 Jul 2008 04:20:47 +0000 (04:20 +0000)] 
{take|drop}WhileSlice

11 years agoSearch functions
Roman Leshchinskiy [Sat, 12 Jul 2008 04:16:28 +0000 (04:16 +0000)] 
Search functions

11 years agoSlice functions
Roman Leshchinskiy [Sat, 12 Jul 2008 04:03:32 +0000 (04:03 +0000)] 
Slice functions

11 years agoMore Haddock comments
Roman Leshchinskiy [Sat, 12 Jul 2008 03:50:55 +0000 (03:50 +0000)] 
More Haddock comments

11 years agoHaddock comments
Roman Leshchinskiy [Sat, 12 Jul 2008 03:44:26 +0000 (03:44 +0000)] 
Haddock comments

11 years agoRename classes and modules
Roman Leshchinskiy [Sat, 12 Jul 2008 02:33:32 +0000 (02:33 +0000)] 
Rename classes and modules

11 years agoVector combinators
Roman Leshchinskiy [Sat, 12 Jul 2008 02:07:05 +0000 (02:07 +0000)] 
Vector combinators

11 years agoStream combinators
Roman Leshchinskiy [Sat, 12 Jul 2008 01:56:38 +0000 (01:56 +0000)] 
Stream combinators

11 years agoNew combinators
Roman Leshchinskiy [Fri, 11 Jul 2008 17:19:22 +0000 (17:19 +0000)] 
New combinators

11 years agoReplace type families by GADTs for associating a monad with a mutable vector
Roman Leshchinskiy [Fri, 11 Jul 2008 16:22:01 +0000 (16:22 +0000)] 
Replace type families by GADTs for associating a monad with a mutable vector

This is mostly to work around #2440, but it's perhaps also more consistent.

11 years agoCouple of combinators
Roman Leshchinskiy [Fri, 11 Jul 2008 08:27:35 +0000 (08:27 +0000)] 
Couple of combinators

11 years agoGeneric Vector framework
Roman Leshchinskiy [Fri, 11 Jul 2008 07:23:12 +0000 (07:23 +0000)] 
Generic Vector framework

11 years agoMore flexible size hints
Roman Leshchinskiy [Mon, 7 Jul 2008 03:26:20 +0000 (03:26 +0000)] 
More flexible size hints

11 years agoUse new Stream functions
Roman Leshchinskiy [Sun, 6 Jul 2008 17:00:04 +0000 (17:00 +0000)] 
Use new Stream functions

11 years agoStream.bound and Stream.unfold
Roman Leshchinskiy [Sun, 6 Jul 2008 16:59:14 +0000 (16:59 +0000)] 
Stream.bound and Stream.unfold

11 years agoBoxed Vectors
Roman Leshchinskiy [Sun, 6 Jul 2008 16:44:38 +0000 (16:44 +0000)] 
Boxed Vectors

11 years ago(++) for Stream and Vector.Unboxed
Roman Leshchinskiy [Sun, 6 Jul 2008 16:44:04 +0000 (16:44 +0000)] 
(++) for Stream and Vector.Unboxed

11 years agoUnbox instances for Float and Double
Roman Leshchinskiy [Sun, 6 Jul 2008 15:07:25 +0000 (15:07 +0000)] 
Unbox instances for Float and Double

11 years agoUnboxed.foldl'
Roman Leshchinskiy [Sun, 6 Jul 2008 14:55:20 +0000 (14:55 +0000)] 
Unboxed.foldl'

11 years agoInclude phases.h
Roman Leshchinskiy [Sun, 6 Jul 2008 14:55:08 +0000 (14:55 +0000)] 
Include phases.h

11 years agoDepend on ghc-prim
Roman Leshchinskiy [Sun, 6 Jul 2008 14:54:54 +0000 (14:54 +0000)] 
Depend on ghc-prim

11 years agoSplit Unboxed.Unbox and rename stuff
Roman Leshchinskiy [Sat, 5 Jul 2008 01:53:37 +0000 (01:53 +0000)] 
Split Unboxed.Unbox and rename stuff

11 years agoAdd Cabal stuff
Roman Leshchinskiy [Sat, 5 Jul 2008 01:31:06 +0000 (01:31 +0000)] 
Add Cabal stuff

11 years agoInitial revision
Roman Leshchinskiy [Sat, 5 Jul 2008 01:23:54 +0000 (01:23 +0000)] 
Initial revision