hydra-plutus
Safe HaskellSafe-Inferred
LanguageGHC2021

Hydra.Contract.Dummy

Description

Simple asserting validators that are primarily useful for testing.

Documentation

dummyValidatorScript :: PlutusScript Source #

alwaysFailingScript :: () -> () -> ScriptContext -> Bool Source #

dummyValidatorScriptAlwaysFails :: PlutusScript Source #

dummyMintingScript :: PlutusScript Source #

dummyRewardingScript :: PlutusScript Source #

newtype R Source #

Constructors

R 

Fields

Instances

Instances details
Generic R Source # 
Instance details

Defined in Hydra.Contract.Dummy

Associated Types

type Rep R :: Type -> Type Source #

Methods

from :: R -> Rep R x Source #

to :: Rep R x -> R Source #

Show R Source # 
Instance details

Defined in Hydra.Contract.Dummy

Methods

showsPrec :: Int -> R -> ShowS Source #

show :: R -> String Source #

showList :: [R] -> ShowS Source #

FromData R Source # 
Instance details

Defined in Hydra.Contract.Dummy

Methods

fromBuiltinData :: BuiltinData -> Maybe R

ToData R Source # 
Instance details

Defined in Hydra.Contract.Dummy

Methods

toBuiltinData :: R -> BuiltinData

UnsafeFromData R Source # 
Instance details

Defined in Hydra.Contract.Dummy

Methods

unsafeFromBuiltinData :: BuiltinData -> R

type Rep R Source # 
Instance details

Defined in Hydra.Contract.Dummy

type Rep R = D1 ('MetaData "R" "Hydra.Contract.Dummy" "hydra-plutus-2.3.0-GZuRkjMlaaiDs5DtXvwJLz" 'True) (C1 ('MetaCons "R" 'PrefixI 'True) (S1 ('MetaSel ('Just "expectedHeadId") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CurrencySymbol)))

exampleValidator :: () -> R -> ScriptContext -> Bool Source #

exampleSecureValidatorScript :: PlutusScript Source #