Safe Haskell	Safe-Inferred
Language	GHC2021

Hydra.Contract.Hash

Description

An experimental validator which simply hashes a bytestring stored in the datum using one of three supported algorithms.

Documentation

data HashAlgorithm Source #

Constructors

Base
SHA2
SHA3
Blake2b

Instances

Instances details

Arbitrary HashAlgorithm Source #
Instance details Defined in Hydra.Contract.Hash Methods arbitrary :: Gen HashAlgorithm shrink :: HashAlgorithm -> [HashAlgorithm]
Bounded HashAlgorithm Source #
Instance details Defined in Hydra.Contract.Hash Methods minBound :: HashAlgorithm Source # maxBound :: HashAlgorithm Source #
Enum HashAlgorithm Source #
Instance details Defined in Hydra.Contract.Hash Methods succ :: HashAlgorithm -> HashAlgorithm Source # pred :: HashAlgorithm -> HashAlgorithm Source # toEnum :: Int -> HashAlgorithm Source # fromEnum :: HashAlgorithm -> Int Source # enumFrom :: HashAlgorithm -> [HashAlgorithm] Source # enumFromThen :: HashAlgorithm -> HashAlgorithm -> [HashAlgorithm] Source # enumFromTo :: HashAlgorithm -> HashAlgorithm -> [HashAlgorithm] Source # enumFromThenTo :: HashAlgorithm -> HashAlgorithm -> HashAlgorithm -> [HashAlgorithm] Source #
Generic HashAlgorithm Source #
Instance details Defined in Hydra.Contract.Hash Associated Types type Rep HashAlgorithm :: Type -> Type Source # Methods from :: HashAlgorithm -> Rep HashAlgorithm x Source # to :: Rep HashAlgorithm x -> HashAlgorithm Source #
Show HashAlgorithm Source #
Instance details Defined in Hydra.Contract.Hash Methods showsPrec :: Int -> HashAlgorithm -> ShowS Source # show :: HashAlgorithm -> String Source # showList :: [HashAlgorithm] -> ShowS Source #
FromData HashAlgorithm Source #
Instance details Defined in Hydra.Contract.Hash Methods fromBuiltinData :: BuiltinData -> Maybe HashAlgorithm
ToData HashAlgorithm Source #
Instance details Defined in Hydra.Contract.Hash Methods toBuiltinData :: HashAlgorithm -> BuiltinData
UnsafeFromData HashAlgorithm Source #
Instance details Defined in Hydra.Contract.Hash Methods unsafeFromBuiltinData :: BuiltinData -> HashAlgorithm
type Rep HashAlgorithm Source #
Instance details Defined in Hydra.Contract.Hash type Rep HashAlgorithm = D1 ('MetaData "HashAlgorithm" "Hydra.Contract.Hash" "hydra-plutus-0.16.0-BVNXGEfsIFMGbIIk6HCb31" 'False) ((C1 ('MetaCons "Base" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SHA2" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SHA3" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Blake2b" 'PrefixI 'False) (U1 :: Type -> Type)))

type DatumType = BuiltinByteString Source #

type RedeemerType = HashAlgorithm Source #

validator :: DatumType -> RedeemerType -> ScriptContext -> Bool Source #

compiledValidator :: CompiledCode ValidatorType Source #

validatorScript :: SerialisedScript Source #

validatorHash :: ScriptHash Source #

datum :: DatumType -> Datum Source #

redeemer :: RedeemerType -> Redeemer Source #