Safe Haskell	Safe-Inferred
Language	Haskell2010

PlutusTx.Blueprint.Definition.Id

Synopsis

data DefinitionId
definitionIdFromType :: forall (t :: Type). Typeable t => DefinitionId
definitionIdFromTypeK :: forall k (t :: k). Typeable (t :: k) => DefinitionId
definitionIdToText :: DefinitionId -> Text
definitionIdUnit :: DefinitionId
definitionIdList :: DefinitionId
definitionIdTuple2 :: DefinitionId
definitionIdTuple3 :: DefinitionId

Documentation

data DefinitionId Source #

A reference to a Schema definition.

Instances

Instances details

ToJSON DefinitionId Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id Methods toJSON :: DefinitionId -> Value toEncoding :: DefinitionId -> Encoding toJSONList :: [DefinitionId] -> Value toEncodingList :: [DefinitionId] -> Encoding omitField :: DefinitionId -> Bool
ToJSONKey DefinitionId Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id Methods toJSONKey :: ToJSONKeyFunction DefinitionId toJSONKeyList :: ToJSONKeyFunction [DefinitionId]
Data DefinitionId Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DefinitionId -> c DefinitionId Source # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DefinitionId Source # toConstr :: DefinitionId -> Constr Source # dataTypeOf :: DefinitionId -> DataType Source # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DefinitionId) Source # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DefinitionId) Source # gmapT :: (forall b. Data b => b -> b) -> DefinitionId -> DefinitionId Source # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DefinitionId -> r Source # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DefinitionId -> r Source # gmapQ :: (forall d. Data d => d -> u) -> DefinitionId -> [u] Source # gmapQi :: Int -> (forall d. Data d => d -> u) -> DefinitionId -> u Source # gmapM :: Monad m => (forall d. Data d => d -> m d) -> DefinitionId -> m DefinitionId Source # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DefinitionId -> m DefinitionId Source # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DefinitionId -> m DefinitionId Source #
Semigroup DefinitionId Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id Methods (<>) :: DefinitionId -> DefinitionId -> DefinitionId Source # sconcat :: NonEmpty DefinitionId -> DefinitionId Source # stimes :: Integral b => b -> DefinitionId -> DefinitionId Source #
Generic DefinitionId Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id Associated Types type Rep DefinitionId :: Type -> Type Source # Methods from :: DefinitionId -> Rep DefinitionId x Source # to :: Rep DefinitionId x -> DefinitionId Source #
Show DefinitionId Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id Methods showsPrec :: Int -> DefinitionId -> ShowS Source # show :: DefinitionId -> String Source # showList :: [DefinitionId] -> ShowS Source #
Eq DefinitionId Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id Methods (==) :: DefinitionId -> DefinitionId -> Bool Source # (/=) :: DefinitionId -> DefinitionId -> Bool Source #
Ord DefinitionId Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id Methods compare :: DefinitionId -> DefinitionId -> Ordering Source # (<) :: DefinitionId -> DefinitionId -> Bool Source # (<=) :: DefinitionId -> DefinitionId -> Bool Source # (>) :: DefinitionId -> DefinitionId -> Bool Source # (>=) :: DefinitionId -> DefinitionId -> Bool Source # max :: DefinitionId -> DefinitionId -> DefinitionId Source # min :: DefinitionId -> DefinitionId -> DefinitionId Source #
type Rep DefinitionId Source #
Instance details Defined in PlutusTx.Blueprint.Definition.Id type Rep DefinitionId = D1 ('MetaData "DefinitionId" "PlutusTx.Blueprint.Definition.Id" "plutus-tx-1.36.0.0-8y1X6QaF1WM5mIhDTsyzym" 'True) (C1 ('MetaCons "MkDefinitionId" 'PrefixI 'True) (S1 ('MetaSel ('Just "definitionIdToText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

definitionIdFromType :: forall (t :: Type). Typeable t => DefinitionId Source #

Creates a DefinitionId from a type with a kind Type.

definitionIdFromTypeK :: forall k (t :: k). Typeable (t :: k) => DefinitionId Source #

Creates a DefinitionId from a type with a kind other than Type. Example: > definitionIdFromTypeK (Type -> Type) Maybe

definitionIdToText :: DefinitionId -> Text Source #

definitionIdUnit :: DefinitionId Source #

definitionIdList :: DefinitionId Source #

definitionIdTuple2 :: DefinitionId Source #

definitionIdTuple3 :: DefinitionId Source #