Module

Network.Ethereum.Web3.Solidity.Size

Package: purescript-web3
Repository: f-o-a-m/purescript-web3

#D0 Source

data D0

Instances

#D1 Source

data D1

Instances

#D2 Source

data D2

Instances

#D3 Source

data D3

Instances

#D4 Source

data D4

Instances

#D5 Source

data D5

Instances

#D6 Source

data D6

Instances

#D7 Source

data D7

Instances

#D8 Source

data D8

Instances

#D9 Source

data D9

Instances

#NumCons Source

data NumCons a b

Instances

(KnownSize new, KnownSize old) => KnownSize (NumCons new old)
IntSize (NumCons D1 D6)
IntSize (NumCons D2 D4)
IntSize (NumCons D3 D2)
IntSize (NumCons D4 D0)
IntSize (NumCons D4 D8)
IntSize (NumCons D5 D6)
IntSize (NumCons D6 D4)
IntSize (NumCons D7 D2)
IntSize (NumCons D8 D0)
IntSize (NumCons D8 D8)
IntSize (NumCons D9 D6)
IntSize (NumCons D1 (NumCons D0 D4))
IntSize (NumCons D1 (NumCons D1 D2))
IntSize (NumCons D1 (NumCons D2 D0))
IntSize (NumCons D1 (NumCons D2 D8))
IntSize (NumCons D1 (NumCons D3 D6))
IntSize (NumCons D1 (NumCons D4 D4))
IntSize (NumCons D1 (NumCons D5 D2))
IntSize (NumCons D1 (NumCons D6 D0))
IntSize (NumCons D1 (NumCons D6 D8))
IntSize (NumCons D1 (NumCons D7 D6))
IntSize (NumCons D1 (NumCons D8 D4))
IntSize (NumCons D1 (NumCons D9 D2))
IntSize (NumCons D2 (NumCons D0 D0))
IntSize (NumCons D2 (NumCons D0 D8))
IntSize (NumCons D2 (NumCons D1 D6))
IntSize (NumCons D2 (NumCons D2 D4))
IntSize (NumCons D2 (NumCons D3 D2))
IntSize (NumCons D2 (NumCons D4 D0))
IntSize (NumCons D2 (NumCons D4 D8))
IntSize (NumCons D2 (NumCons D5 D6))
ByteSize (NumCons D1 D0)
ByteSize (NumCons D1 D1)
ByteSize (NumCons D1 D2)
ByteSize (NumCons D1 D3)
ByteSize (NumCons D1 D4)
ByteSize (NumCons D1 D5)
ByteSize (NumCons D1 D6)
ByteSize (NumCons D1 D7)
ByteSize (NumCons D1 D8)
ByteSize (NumCons D1 D9)
ByteSize (NumCons D2 D0)
ByteSize (NumCons D2 D1)
ByteSize (NumCons D2 D2)
ByteSize (NumCons D2 D3)
ByteSize (NumCons D2 D4)
ByteSize (NumCons D2 D5)
ByteSize (NumCons D2 D6)
ByteSize (NumCons D2 D7)
ByteSize (NumCons D2 D8)
ByteSize (NumCons D2 D9)
ByteSize (NumCons D3 D0)
ByteSize (NumCons D3 D1)
ByteSize (NumCons D3 D2)

#type (:&) Source

Operator alias for Network.Ethereum.Web3.Solidity.Size.NumCons (right-associative / precedence 6)

#KnownSize Source

class KnownSize d  where

Members

sizeVal :: Proxy d -> Int

Instances

KnownSize D0
KnownSize D1
KnownSize D2
KnownSize D3
KnownSize D4
KnownSize D5
KnownSize D6
KnownSize D7
KnownSize D8
KnownSize D9
(KnownSize new, KnownSize old) => KnownSize (NumCons new old)

#IntSize Source

class (KnownSize n) <= IntSize n

Instances

#ByteSize Source

class (KnownSize n) <= ByteSize n

Instances

#Z Source

data Z

Naturals

Instances

KnownNat Z

#S Source

data S n

Instances

Succ (S n) n
(KnownNat n) => KnownNat (S n)

#Succ Source

class Succ n m | n -> m, m -> n

Instances

Succ (S n) n

#KnownNat Source

class KnownNat n  where

Members

natVal :: Proxy n -> Int

Instances

KnownNat Z
(KnownNat n) => KnownNat (S n)

#N0 Source

type N0 = Z

#N1 Source

type N1 = S N0

#N2 Source

type N2 = S N1

#N3 Source

type N3 = S N2

#N4 Source

type N4 = S N3

#N5 Source

type N5 = S N4

#N6 Source

type N6 = S N5

#N7 Source

type N7 = S N6

#N8 Source

type N8 = S N7

#N9 Source

type N9 = S N8

#N10 Source

type N10 = S N9

#N11 Source

type N11 = S N10

#N12 Source

type N12 = S N11

#N13 Source

type N13 = S N12

#N14 Source

type N14 = S N13

#N15 Source

type N15 = S N14

#N16 Source

type N16 = S N15