Data.CompactSequence.Internal.Size

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

data Sz1

data Sz2

data Sz3

data Sz4

data Sz5

data Sz6

data Sz7

data Sz8

data Sz9

data Sz10

data Sz11

data Sz12

data Sz13

data Sz14

data Sz15

data Sz16

data Sz17

data Sz18

data Sz19

newtype Size n

Constructors

Size Int

getSize :: Size n -> Int

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

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

one :: Size Sz1

sz1 :: Size Sz1

sz2 :: Size Sz2

sz3 :: Size Sz3

sz4 :: Size Sz4

sz5 :: Size Sz5

sz6 :: Size Sz6

sz7 :: Size Sz7

sz8 :: Size Sz8

sz9 :: Size Sz9

sz10 :: Size Sz10

sz11 :: Size Sz11

sz12 :: Size Sz12

sz13 :: Size Sz13

sz14 :: Size Sz14

sz15 :: Size Sz15

sz16 :: Size Sz16

sz17 :: Size Sz17

sz18 :: Size Sz18

sz19 :: Size Sz19