compact-sequences-0.2.0.0: Stacks, queues, and deques with compact representations.

Safe Haskell	Safe
Language	Haskell2010

Data.CompactSequence.Internal.Size

Description

Array sizes with phantom types. We use a very primitive arrangement because that's all we need for now: the base type is Sz1, Sz2, etc., and it's doubled as many times as necessary by applying the Twice constructor. The base value is sz1, sz2, etc., and it's doubled by applying the twice function.

Documentation

data Twice a Source #

data Sz1 Source #

data Sz2 Source #

data Sz3 Source #

data Sz4 Source #

data Sz5 Source #

data Sz6 Source #

data Sz7 Source #

data Sz8 Source #

data Sz9 Source #

data Sz10 Source #

data Sz11 Source #

data Sz12 Source #

data Sz13 Source #

data Sz14 Source #

data Sz15 Source #

data Sz16 Source #

data Sz17 Source #

data Sz18 Source #

data Sz19 Source #

newtype Size n Source #

Constructors

getSize :: Size n -> Int Source #

twice :: Size n -> Size (Twice n) Source #

half :: Size (Twice m) -> Size m Source #

one :: Size Sz1 Source #

sz1 :: Size Sz1 Source #

sz2 :: Size Sz2 Source #

sz3 :: Size Sz3 Source #

sz4 :: Size Sz4 Source #

sz5 :: Size Sz5 Source #

sz6 :: Size Sz6 Source #

sz7 :: Size Sz7 Source #

sz8 :: Size Sz8 Source #

sz9 :: Size Sz9 Source #

sz10 :: Size Sz10 Source #

sz11 :: Size Sz11 Source #

sz12 :: Size Sz12 Source #

sz13 :: Size Sz13 Source #

sz14 :: Size Sz14 Source #

sz15 :: Size Sz15 Source #

sz16 :: Size Sz16 Source #

sz17 :: Size Sz17 Source #

sz18 :: Size Sz18 Source #

sz19 :: Size Sz19 Source #