Skip to content

Commit

Permalink
Haddock for boxed vectors
Browse files Browse the repository at this point in the history
  • Loading branch information
Shimuuar committed Dec 14, 2024
1 parent aa1d98c commit d9d33bb
Show file tree
Hide file tree
Showing 2 changed files with 8 additions and 4 deletions.
6 changes: 4 additions & 2 deletions fixed-vector/Data/Vector/Fixed/Boxed.hs
Original file line number Diff line number Diff line change
@@ -1,7 +1,8 @@
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE UndecidableInstances #-}
-- |
-- Vector which could hold any value.
-- Lazy vector which could hold any value. For strict variant see
-- "Data.Vector.Fixed.Strict".
module Data.Vector.Fixed.Boxed (
-- * Immutable
Vec
Expand Down Expand Up @@ -38,7 +39,8 @@ import Data.Vector.Fixed.Cont (ArityPeano(..))
-- Data type
----------------------------------------------------------------

-- | Vector with fixed length which can hold any value.
-- | Vector with fixed length which can hold any value. It's lazy and
-- doesn't evaluate elements.
newtype Vec (n :: Nat) a = Vec (SmallArray a)

-- | Mutable unboxed vector with fixed length
Expand Down
6 changes: 4 additions & 2 deletions fixed-vector/Data/Vector/Fixed/Strict.hs
Original file line number Diff line number Diff line change
@@ -1,6 +1,8 @@
{-# LANGUAGE MagicHash #-}
{-# LANGUAGE UndecidableInstances #-}
-- |
-- Strict boxed vector which could hold any value. For lazy variant see
-- "Data.Vector.Fixed.Boxed".
module Data.Vector.Fixed.Strict where

import Control.Applicative (Applicative(..))
Expand All @@ -27,8 +29,8 @@ import Data.Vector.Fixed.Cont (ArityPeano(..))
-- Data type
----------------------------------------------------------------

-- | Vector with fixed length which can hold any value. It's strict in
-- its elements
-- | Vector with fixed length which can hold any value. It's strict
-- and ensures that elements are evaluated to WHNF.
newtype Vec (n :: Nat) a = Vec (SmallArray a)

-- | Mutable unboxed vector with fixed length
Expand Down

0 comments on commit d9d33bb

Please sign in to comment.