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

#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 (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