Safe Haskell	Safe-Inferred
Language	Haskell2010

Morley.Tezos.Address.Kinds

Description

Address kinds.

Synopsis

data AddressKind
data SingAddressKind :: AddressKind -> Type where
- SAddressKindImplicit :: SingAddressKind ('AddressKindImplicit :: AddressKind)
- SAddressKindContract :: SingAddressKind ('AddressKindContract :: AddressKind)
- SAddressKindSmartRollup :: SingAddressKind ('AddressKindSmartRollup :: AddressKind)
forEachAddressKind :: ExpQ -> ExpQ

Documentation

data AddressKind Source #

Address "kind"

Constructors

AddressKindImplicit	an implicit address, `tz1`-`tz3`
AddressKindContract	a contract address, `KT1`
AddressKindSmartRollup	a smart rollup address, `sr1`

Instances

Instances details

FromJSON Address Source #
Instance details Defined in Morley.Tezos.Address Methods parseJSON :: Value -> Parser Address # parseJSONList :: Value -> Parser [Address] #
FromJSONKey Address Source #
Instance details Defined in Morley.Tezos.Address Methods fromJSONKey :: FromJSONKeyFunction Address # fromJSONKeyList :: FromJSONKeyFunction [Address] #
Bounded AddressKind Source #
Instance details Defined in Morley.Tezos.Address.Kinds Methods minBound :: AddressKind # maxBound :: AddressKind #
Enum AddressKind Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Morley.Tezos.Address.Kinds Methods showsPrec :: Int -> AddressKind -> ShowS # show :: AddressKind -> String # showList :: [AddressKind] -> ShowS #
NFData AddressKind Source #
Instance details Defined in Morley.Tezos.Address.Kinds Methods rnf :: AddressKind -> () #
Eq AddressKind Source #
Instance details Defined in Morley.Tezos.Address.Kinds Methods (==) :: AddressKind -> AddressKind -> Bool # (/=) :: AddressKind -> AddressKind -> Bool #
Ord AddressKind Source #
Instance details 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 Source #
Instance details Defined in Morley.AsRPC Associated Types type AsRPC Address Source #
TypeHasDoc Address Source #
Instance details Defined in Morley.Michelson.Typed.Haskell.Doc Associated Types type TypeDocFieldDescriptions Address :: FieldDescriptions Source # Methods typeDocName :: Proxy Address -> Text Source # typeDocMdDescription :: Markdown Source # typeDocMdReference :: Proxy Address -> WithinParens -> Markdown Source # typeDocDependencies :: Proxy Address -> [SomeDocDefinitionItem] Source # typeDocHaskellRep :: TypeDocHaskellRep Address Source # typeDocMichelsonRep :: TypeDocMichelsonRep Address Source #
IsoValue Address Source #
Instance details Defined in Morley.Michelson.Typed.Haskell.Value Associated Types type ToT Address :: T Source # Methods toVal :: Address -> Value (ToT Address) Source # fromVal :: Value (ToT Address) -> Address Source #
HasCLReader Address Source #
Instance details Defined in Morley.Tezos.Address Methods getReader :: ReadM Address Source # getMetavar :: String Source #
Buildable AddressKind Source #
Instance details Defined in Morley.Tezos.Address.Kinds Methods build :: AddressKind -> Doc buildList :: [AddressKind] -> Doc
SingKind AddressKind Source #
Instance details 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 Source #
Instance details Defined in Morley.Tezos.Address.Kinds Methods (%~) :: forall (a :: AddressKind) (b :: AddressKind). Sing a -> Sing b -> Decision (a :~: b) #
TestCoercion SingAddressKind Source #
Instance details Defined in Morley.Tezos.Address.Kinds Methods testCoercion :: forall (a :: k) (b :: k). SingAddressKind a -> SingAddressKind b -> Maybe (Coercion a b) #
TestEquality SingAddressKind Source #
Instance details Defined in Morley.Tezos.Address.Kinds Methods testEquality :: forall (a :: k) (b :: k). SingAddressKind a -> SingAddressKind b -> Maybe (a :~: b) #
SingI 'AddressKindContract Source #
Instance details Defined in Morley.Tezos.Address.Kinds Methods sing :: Sing 'AddressKindContract #
SingI 'AddressKindImplicit Source #
Instance details Defined in Morley.Tezos.Address.Kinds Methods sing :: Sing 'AddressKindImplicit #
SingI 'AddressKindSmartRollup Source #
Instance details Defined in Morley.Tezos.Address.Kinds Methods sing :: Sing 'AddressKindSmartRollup #
GCompare KindedAddress Source #
Instance details Defined in Morley.Tezos.Address Methods gcompare :: forall (a :: k) (b :: k). KindedAddress a -> KindedAddress b -> GOrdering a b #
GCompare Alias Source #
Instance details Defined in Morley.Tezos.Address.Alias Methods gcompare :: forall (a :: k) (b :: k). Alias a -> Alias b -> GOrdering a b #
GEq KindedAddress Source #
Instance details Defined in Morley.Tezos.Address Methods geq :: forall (a :: k) (b :: k). KindedAddress a -> KindedAddress b -> Maybe (a :~: b) #
GEq Alias Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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) Source #
Instance details Defined in Morley.Tezos.Address Methods parseJSON :: Value -> Parser (ConstrainedAddress kinds) # parseJSONList :: Value -> Parser [ConstrainedAddress kinds] #
SingI ks => HasCLReader (ConstrainedAddress ks) Source #
Instance details Defined in Morley.Tezos.Address Methods getReader :: ReadM (ConstrainedAddress ks) Source # getMetavar :: String Source #
ToJSON (Constrained c KindedAddress) Source #
Instance details 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) Source #
Instance details Defined in Morley.Tezos.Address Methods toJSONKey :: ToJSONKeyFunction (Constrained c KindedAddress) # toJSONKeyList :: ToJSONKeyFunction [Constrained c KindedAddress] #
type Rep AddressKind Source #
Instance details 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 Source #
Instance details Defined in Morley.AsRPC type AsRPC Address = Address
type TypeDocFieldDescriptions Address Source #
Instance details Defined in Morley.Michelson.Typed.Haskell.Doc type TypeDocFieldDescriptions Address = '[] :: [(Symbol, (Maybe Symbol, [(Symbol, Symbol)]))]
type ToT Address Source #
Instance details Defined in Morley.Michelson.Typed.Haskell.Value type ToT Address = 'TAddress
type Demote AddressKind Source #
Instance details Defined in Morley.Tezos.Address.Kinds type Demote AddressKind = AddressKind
type Sing Source #
Instance details Defined in Morley.Tezos.Address.Kinds type Sing = SingAddressKind

data SingAddressKind :: AddressKind -> Type where Source #

Constructors

SAddressKindImplicit :: SingAddressKind ('AddressKindImplicit :: AddressKind)
SAddressKindContract :: SingAddressKind ('AddressKindContract :: AddressKind)
SAddressKindSmartRollup :: SingAddressKind ('AddressKindSmartRollup :: AddressKind)

Instances

Instances details

TestCoercion SingAddressKind Source #
Instance details Defined in Morley.Tezos.Address.Kinds Methods testCoercion :: forall (a :: k) (b :: k). SingAddressKind a -> SingAddressKind b -> Maybe (Coercion a b) #
TestEquality SingAddressKind Source #
Instance details Defined in Morley.Tezos.Address.Kinds Methods testEquality :: forall (a :: k) (b :: k). SingAddressKind a -> SingAddressKind b -> Maybe (a :~: b) #

forEachAddressKind :: ExpQ -> ExpQ Source #