Skip to content

Commit

Permalink
Make qualified import names more consistent between UnboxViaPrim and …
Browse files Browse the repository at this point in the history
…IsoUnbox
  • Loading branch information
sergv committed Oct 11, 2022
1 parent 96d8c8c commit 2afa742
Showing 1 changed file with 21 additions and 21 deletions.
42 changes: 21 additions & 21 deletions vector/src/Data/Vector/Unboxed/Base.hs
Original file line number Diff line number Diff line change
Expand Up @@ -184,38 +184,38 @@ instance G.Vector Vector () where
-- >>> -- Needed to derive Prim
-- >>> :set -XGeneralizedNewtypeDeriving -XDataKinds -XUnboxedTuples -XPolyKinds
-- >>>
-- >>> import qualified Data.Vector.Unboxed as U
-- >>> import qualified Data.Vector.Unboxed.Base as U
-- >>> import qualified Data.Vector.Primitive as P
-- >>> import qualified Data.Vector.Generic as G
-- >>> import qualified Data.Vector.Generic.Mutable as M
-- >>> import qualified Data.Vector.Generic as VG
-- >>> import qualified Data.Vector.Generic.Mutable as VGM
-- >>> import qualified Data.Vector.Primitive as VP
-- >>> import qualified Data.Vector.Unboxed as VU
-- >>> import qualified Data.Vector.Unboxed.Base as VU
-- >>>
-- >>> newtype Foo = Foo Int deriving P.Prim
-- >>> newtype Foo = Foo Int deriving VP.Prim
-- >>>
-- >>> newtype instance U.MVector s Foo = MV_Int (P.MVector s Foo)
-- >>> newtype instance U.Vector Foo = V_Int (P.Vector Foo)
-- >>> deriving via (U.UnboxViaPrim Foo) instance M.MVector U.MVector Foo
-- >>> deriving via (U.UnboxViaPrim Foo) instance G.Vector U.Vector Foo
-- >>> instance U.Unbox Foo
-- >>> newtype instance VU.MVector s Foo = MV_Int (VP.MVector s Foo)
-- >>> newtype instance VU.Vector Foo = V_Int (VP.Vector Foo)
-- >>> deriving via (VU.UnboxViaPrim Foo) instance VGM.MVector VU.MVector Foo
-- >>> deriving via (VU.UnboxViaPrim Foo) instance VG.Vector VU.Vector Foo
-- >>> instance VU.Unbox Foo
--
-- Second example is essentially same but with a twist. Instead of
-- using @Prim@ instance of data type, we use underlying instance of @Int@:
--
-- >>> :set -XTypeFamilies -XStandaloneDeriving -XDerivingVia -XMultiParamTypeClasses
-- >>>
-- >>> import qualified Data.Vector.Unboxed as U
-- >>> import qualified Data.Vector.Unboxed.Base as U
-- >>> import qualified Data.Vector.Primitive as P
-- >>> import qualified Data.Vector.Generic as G
-- >>> import qualified Data.Vector.Generic.Mutable as M
-- >>> import qualified Data.Vector.Generic as VG
-- >>> import qualified Data.Vector.Generic.Mutable as VGM
-- >>> import qualified Data.Vector.Primitive as VP
-- >>> import qualified Data.Vector.Unboxed as VU
-- >>> import qualified Data.Vector.Unboxed.Base as VU
-- >>>
-- >>> newtype Foo = Foo Int
-- >>>
-- >>> newtype instance U.MVector s Foo = MV_Int (P.MVector s Int)
-- >>> newtype instance U.Vector Foo = V_Int (P.Vector Int)
-- >>> deriving via (U.UnboxViaPrim Int) instance M.MVector U.MVector Foo
-- >>> deriving via (U.UnboxViaPrim Int) instance G.Vector U.Vector Foo
-- >>> instance U.Unbox Foo
-- >>> newtype instance VU.MVector s Foo = MV_Int (VP.MVector s Int)
-- >>> newtype instance VU.Vector Foo = V_Int (VP.Vector Int)
-- >>> deriving via (VU.UnboxViaPrim Int) instance VGM.MVector VU.MVector Foo
-- >>> deriving via (VU.UnboxViaPrim Int) instance VG.Vector VU.Vector Foo
-- >>> instance VU.Unbox Foo
--
-- @since 0.13.0.0
newtype UnboxViaPrim a = UnboxViaPrim a
Expand Down

0 comments on commit 2afa742

Please sign in to comment.