Morley.Tezos.Address.Kinds

Address kinds.

Documentation

data AddressKind

Address "kind"

Constructors

AddressKindImplicit

an implicit address, tz1-tz3

AddressKindContract

a contract address, KT1

AddressKindSmartRollup

a smart rollup address, sr1

Instances

FromJSON Address

Defined in Morley.Tezos.Address

Methods

parseJSON :: Value -> Parser Address

parseJSONList :: Value -> Parser [Address]

FromJSONKey Address

Defined in Morley.Tezos.Address

Methods

fromJSONKey :: FromJSONKeyFunction Address

fromJSONKeyList :: FromJSONKeyFunction [Address]

Bounded AddressKind

Defined in Morley.Tezos.Address.Kinds

Methods

minBound :: AddressKind

maxBound :: AddressKind

Enum AddressKind

Defined in Morley.Tezos.Address.Kinds

Methods

succ :: AddressKind -> AddressKind

pred :: AddressKind -> AddressKind

toEnum :: Int -> AddressKind

fromEnum :: AddressKind -> Int

enumFrom :: AddressKind -> [AddressKind]

enumFromThen :: AddressKind -> AddressKind -> [AddressKind]

enumFromTo :: AddressKind -> AddressKind -> [AddressKind]

enumFromThenTo :: AddressKind -> AddressKind -> AddressKind -> [AddressKind]

Generic AddressKind

Defined in Morley.Tezos.Address.Kinds

Associated Types

type Rep AddressKind :: Type -> Type

Methods

from :: AddressKind -> Rep AddressKind x

to :: Rep AddressKind x -> AddressKind

Show AddressKind

Defined in Morley.Tezos.Address.Kinds

Methods

showsPrec :: Int -> AddressKind -> ShowS

show :: AddressKind -> String

showList :: [AddressKind] -> ShowS

NFData AddressKind

Defined in Morley.Tezos.Address.Kinds

Methods

rnf :: AddressKind -> ()

Eq AddressKind

Defined in Morley.Tezos.Address.Kinds

Methods

(==) :: AddressKind -> AddressKind -> Bool

(/=) :: AddressKind -> AddressKind -> Bool

Ord AddressKind

Defined in Morley.Tezos.Address.Kinds

Methods

compare :: AddressKind -> AddressKind -> Ordering

(<) :: AddressKind -> AddressKind -> Bool

(<=) :: AddressKind -> AddressKind -> Bool

(>) :: AddressKind -> AddressKind -> Bool

(>=) :: AddressKind -> AddressKind -> Bool

max :: AddressKind -> AddressKind -> AddressKind

min :: AddressKind -> AddressKind -> AddressKind

HasRPCRepr Address

Defined in Morley.AsRPC

Associated Types

type AsRPC Address

TypeHasDoc Address

Defined in Morley.Michelson.Typed.Haskell.Doc

Associated Types

type TypeDocFieldDescriptions Address :: FieldDescriptions

Methods

typeDocName :: Proxy Address -> Text

typeDocMdDescription :: Markdown

typeDocMdReference :: Proxy Address -> WithinParens -> Markdown

typeDocDependencies :: Proxy Address -> [SomeDocDefinitionItem]

typeDocHaskellRep :: TypeDocHaskellRep Address

typeDocMichelsonRep :: TypeDocMichelsonRep Address

IsoValue Address

Defined in Morley.Michelson.Typed.Haskell.Value

Associated Types

type ToT Address :: T

Methods

toVal :: Address -> Value (ToT Address)

fromVal :: Value (ToT Address) -> Address

HasCLReader Address

Defined in Morley.Tezos.Address

Methods

getReader :: ReadM Address

getMetavar :: String

Buildable AddressKind

Defined in Morley.Tezos.Address.Kinds

Methods

build :: AddressKind -> Doc

buildList :: [AddressKind] -> Doc

SingKind AddressKind

Defined in Morley.Tezos.Address.Kinds

Associated Types

type Demote AddressKind = (r :: Type)

Methods

fromSing :: forall (a :: AddressKind). Sing a -> Demote AddressKind

toSing :: Demote AddressKind -> SomeSing AddressKind

SDecide AddressKind

Defined in Morley.Tezos.Address.Kinds

Methods

(%~) :: forall (a :: AddressKind) (b :: AddressKind). Sing a -> Sing b -> Decision (a :~: b)

TestCoercion SingAddressKind

Defined in Morley.Tezos.Address.Kinds

Methods

testCoercion :: forall (a :: k) (b :: k). SingAddressKind a -> SingAddressKind b -> Maybe (Coercion a b)

TestEquality SingAddressKind

Defined in Morley.Tezos.Address.Kinds

Methods

testEquality :: forall (a :: k) (b :: k). SingAddressKind a -> SingAddressKind b -> Maybe (a :~: b)

SingI 'AddressKindContract

Defined in Morley.Tezos.Address.Kinds

Methods

sing :: Sing 'AddressKindContract

SingI 'AddressKindImplicit

Defined in Morley.Tezos.Address.Kinds

Methods

sing :: Sing 'AddressKindImplicit

SingI 'AddressKindSmartRollup

Defined in Morley.Tezos.Address.Kinds

Methods

sing :: Sing 'AddressKindSmartRollup

GCompare KindedAddress

Defined in Morley.Tezos.Address

Methods

gcompare :: forall (a :: k) (b :: k). KindedAddress a -> KindedAddress b -> GOrdering a b

GCompare Alias

Defined in Morley.Tezos.Address.Alias

Methods

gcompare :: forall (a :: k) (b :: k). Alias a -> Alias b -> GOrdering a b

GEq KindedAddress

Defined in Morley.Tezos.Address

Methods

geq :: forall (a :: k) (b :: k). KindedAddress a -> KindedAddress b -> Maybe (a :~: b)

GEq Alias

Defined in Morley.Tezos.Address.Alias

Methods

geq :: forall (a :: k) (b :: k). Alias a -> Alias b -> Maybe (a :~: b)

(c 'AddressKindImplicit, c 'AddressKindContract, c 'AddressKindSmartRollup) => Has (c :: AddressKind -> Constraint) KindedAddress

Defined in Morley.Tezos.Address

Methods

has :: forall (a :: k) r. KindedAddress a -> (c a => r) -> r

argDict :: forall (a :: k). KindedAddress a -> Dict (c a)

(c 'AddressKindImplicit, c 'AddressKindContract) => Has (c :: AddressKind -> Constraint) Alias

Defined in Morley.Tezos.Address.Alias

Methods

has :: forall (a :: k) r. Alias a -> (c a => r) -> r

argDict :: forall (a :: k). Alias a -> Dict (c a)

SingI kinds => FromJSON (ConstrainedAddress kinds)

Defined in Morley.Tezos.Address

Methods

parseJSON :: Value -> Parser (ConstrainedAddress kinds)

parseJSONList :: Value -> Parser [ConstrainedAddress kinds]

SingI ks => HasCLReader (ConstrainedAddress ks)

Defined in Morley.Tezos.Address

Methods

getReader :: ReadM (ConstrainedAddress ks)

getMetavar :: String

ToJSON (Constrained c KindedAddress)

Defined in Morley.Tezos.Address

Methods

toJSON :: Constrained c KindedAddress -> Value

toEncoding :: Constrained c KindedAddress -> Encoding

toJSONList :: [Constrained c KindedAddress] -> Value

toEncodingList :: [Constrained c KindedAddress] -> Encoding

ToJSONKey (Constrained c KindedAddress)

Defined in Morley.Tezos.Address

Methods

toJSONKey :: ToJSONKeyFunction (Constrained c KindedAddress)

toJSONKeyList :: ToJSONKeyFunction [Constrained c KindedAddress]

type Rep AddressKind

Defined in Morley.Tezos.Address.Kinds

type Rep AddressKind = D1 ('MetaData "AddressKind" "Morley.Tezos.Address.Kinds" "morley-1.20.0-inplace" 'False) (C1 ('MetaCons "AddressKindImplicit" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "AddressKindContract" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AddressKindSmartRollup" 'PrefixI 'False) (U1 :: Type -> Type)))

type AsRPC Address

Defined in Morley.AsRPC

type AsRPC Address = Address

type TypeDocFieldDescriptions Address

Defined in Morley.Michelson.Typed.Haskell.Doc

type TypeDocFieldDescriptions Address = '[] :: [(Symbol, (Maybe Symbol, [(Symbol, Symbol)]))]

type ToT Address

Defined in Morley.Michelson.Typed.Haskell.Value

type ToT Address = 'TAddress

type Demote AddressKind

Defined in Morley.Tezos.Address.Kinds

type Demote AddressKind = AddressKind

type Sing

Defined in Morley.Tezos.Address.Kinds

type Sing = SingAddressKind

data SingAddressKind :: AddressKind -> Type where

Constructors

SAddressKindImplicit :: SingAddressKind ('AddressKindImplicit :: AddressKind)

SAddressKindContract :: SingAddressKind ('AddressKindContract :: AddressKind)

SAddressKindSmartRollup :: SingAddressKind ('AddressKindSmartRollup :: AddressKind)

Instances

TestCoercion SingAddressKind

Defined in Morley.Tezos.Address.Kinds

Methods

testCoercion :: forall (a :: k) (b :: k). SingAddressKind a -> SingAddressKind b -> Maybe (Coercion a b)

TestEquality SingAddressKind

Defined in Morley.Tezos.Address.Kinds

Methods

testEquality :: forall (a :: k) (b :: k). SingAddressKind a -> SingAddressKind b -> Maybe (a :~: b)

forEachAddressKind :: ExpQ -> ExpQ