Safe Haskell	None
Language	Haskell2010

Cardano.Ledger.Alonzo.Language

Description

This module provides data structures and operations for talking about Non-native Script languages. It is expected that new languages (or new versions of old languages) will be added here.

Synopsis

data Language
- = PlutusV1
- | PlutusV2
nonNativeLanguages :: [ Language ]

Documentation

data Language Source #

Non-Native Script language. This is an Enumerated type. This is expected to be an open type. We will add new Constuctors to this type as additional Non-Native scripting language as are added. We use an enumerated type for two reasons. 1) We can write total functions by case analysis over the constructors 2) We will use DataKinds to make some datatypes indexed by Language For now, the only Non-Native Scriting language is Plutus We might add new languages in the futures.

Note that the the serialization of Language depends on the ordering.

Constructors

PlutusV1
PlutusV2

Instances

Instances details

Bounded Language Source #
Instance details Defined in Cardano.Ledger.Alonzo.Language Methods minBound :: Language Source # maxBound :: Language Source #
Enum Language Source #
Instance details Defined in Cardano.Ledger.Alonzo.Language Methods succ :: Language -> Language Source # pred :: Language -> Language Source # toEnum :: Int -> Language Source # fromEnum :: Language -> Int Source # enumFrom :: Language -> [ Language ] Source # enumFromThen :: Language -> Language -> [ Language ] Source # enumFromTo :: Language -> Language -> [ Language ] Source # enumFromThenTo :: Language -> Language -> Language -> [ Language ] Source #
Eq Language Source #
Instance details Defined in Cardano.Ledger.Alonzo.Language Methods (==) :: Language -> Language -> Bool Source # (/=) :: Language -> Language -> Bool Source #
Ord Language Source #
Instance details Defined in Cardano.Ledger.Alonzo.Language Methods compare :: Language -> Language -> Ordering Source # (<) :: Language -> Language -> Bool Source # (<=) :: Language -> Language -> Bool Source # (>) :: Language -> Language -> Bool Source # (>=) :: Language -> Language -> Bool Source # max :: Language -> Language -> Language Source # min :: Language -> Language -> Language Source #
Show Language Source #
Instance details Defined in Cardano.Ledger.Alonzo.Language Methods showsPrec :: Int -> Language -> ShowS Source # show :: Language -> String Source # showList :: [ Language ] -> ShowS Source #
Ix Language Source #
Instance details Defined in Cardano.Ledger.Alonzo.Language Methods range :: ( Language , Language ) -> [ Language ] Source # index :: ( Language , Language ) -> Language -> Int Source # unsafeIndex :: ( Language , Language ) -> Language -> Int Source # inRange :: ( Language , Language ) -> Language -> Bool Source # rangeSize :: ( Language , Language ) -> Int Source # unsafeRangeSize :: ( Language , Language ) -> Int Source #
Generic Language Source #
Instance details Defined in Cardano.Ledger.Alonzo.Language Associated Types type Rep Language :: Type -> Type Source # Methods from :: Language -> Rep Language x Source # to :: Rep Language x -> Language Source #
NFData Language Source #
Instance details Defined in Cardano.Ledger.Alonzo.Language Methods rnf :: Language -> () Source #
ToJSON Language Source #
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Methods toJSON :: Language -> Value Source # toEncoding :: Language -> Encoding Source # toJSONList :: [ Language ] -> Value Source # toEncodingList :: [ Language ] -> Encoding Source #
ToJSONKey Language Source #
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Methods toJSONKey :: ToJSONKeyFunction Language Source # toJSONKeyList :: ToJSONKeyFunction [ Language ] Source #
FromJSON Language Source #
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Methods parseJSON :: Value -> Parser Language Source # parseJSONList :: Value -> Parser [ Language ] Source #
FromJSONKey Language Source #
Instance details Defined in Cardano.Ledger.Alonzo.Genesis Methods fromJSONKey :: FromJSONKeyFunction Language Source # fromJSONKeyList :: FromJSONKeyFunction [ Language ] Source #
ToCBOR Language Source #
Instance details Defined in Cardano.Ledger.Alonzo.Language Methods toCBOR :: Language -> Encoding Source # encodedSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy Language -> Size Source # encodedListSizeExpr :: ( forall t. ToCBOR t => Proxy t -> Size ) -> Proxy [ Language ] -> Size Source #
FromCBOR Language Source #
Instance details Defined in Cardano.Ledger.Alonzo.Language Methods fromCBOR :: Decoder s Language Source # label :: Proxy Language -> Text Source #
NoThunks Language Source #
Instance details Defined in Cardano.Ledger.Alonzo.Language Methods noThunks :: Context -> Language -> IO ( Maybe ThunkInfo ) Source # wNoThunks :: Context -> Language -> IO ( Maybe ThunkInfo ) Source # showTypeOf :: Proxy Language -> String Source #
type Rep Language Source #
Instance details Defined in Cardano.Ledger.Alonzo.Language type Rep Language = D1 (' MetaData "Language" "Cardano.Ledger.Alonzo.Language" "cardano-ledger-alonzo-0.1.0.0-xW3meaGVQP43dxJ76zbGD" ' False ) ( C1 (' MetaCons "PlutusV1" ' PrefixI ' False ) ( U1 :: Type -> Type ) :+: C1 (' MetaCons "PlutusV2" ' PrefixI ' False ) ( U1 :: Type -> Type ))

nonNativeLanguages :: [ Language ] Source #