ouroboros-network-protocols:testlib
Safe HaskellNone
LanguageHaskell2010

Test.Data.CDDL

Documentation

newtype Any Source #

Constructors

Any 

Fields

Instances

Instances details
Arbitrary Any Source # 
Instance details

Defined in Test.Data.CDDL

Methods

arbitrary :: Gen Any #

shrink :: Any -> [Any] #

CoArbitrary Any Source # 
Instance details

Defined in Test.Data.CDDL

Methods

coarbitrary :: Any -> Gen b -> Gen b #

NFData Any Source # 
Instance details

Defined in Test.Data.CDDL

Methods

rnf :: Any -> () #

Generic Any Source # 
Instance details

Defined in Test.Data.CDDL

Associated Types

type Rep Any 
Instance details

Defined in Test.Data.CDDL

type Rep Any = D1 ('MetaData "Any" "Test.Data.CDDL" "ouroboros-network-protocols-0.10.0.2-inplace-testlib" 'True) (C1 ('MetaCons "Any" 'PrefixI 'True) (S1 ('MetaSel ('Just "getAny") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Term)))

Methods

from :: Any -> Rep Any x #

to :: Rep Any x -> Any #

Show Any Source # 
Instance details

Defined in Test.Data.CDDL

Methods

showsPrec :: Int -> Any -> ShowS #

show :: Any -> String #

showList :: [Any] -> ShowS #

Eq Any Source # 
Instance details

Defined in Test.Data.CDDL

Methods

(==) :: Any -> Any -> Bool #

(/=) :: Any -> Any -> Bool #

Ord Any Source # 
Instance details

Defined in Test.Data.CDDL

Methods

compare :: Any -> Any -> Ordering #

(<) :: Any -> Any -> Bool #

(<=) :: Any -> Any -> Bool #

(>) :: Any -> Any -> Bool #

(>=) :: Any -> Any -> Bool #

max :: Any -> Any -> Any #

min :: Any -> Any -> Any #

Serialise Any Source # 
Instance details

Defined in Test.Data.CDDL

Methods

encode :: Any -> Encoding #

decode :: Decoder s Any #

encodeList :: [Any] -> Encoding #

decodeList :: Decoder s [Any] #

type Rep Any Source # 
Instance details

Defined in Test.Data.CDDL

type Rep Any = D1 ('MetaData "Any" "Test.Data.CDDL" "ouroboros-network-protocols-0.10.0.2-inplace-testlib" 'True) (C1 ('MetaCons "Any" 'PrefixI 'True) (S1 ('MetaSel ('Just "getAny") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Term)))

tests :: TestTree Source #

Orphan instances

CoArbitrary Term Source # 
Instance details

Methods

coarbitrary :: Term -> Gen b -> Gen b #

NFData Term Source # 
Instance details

Methods

rnf :: Term -> () #

Generic Term Source # 
Instance details

Associated Types

type Rep Term 
Instance details

Defined in Test.Data.CDDL

type Rep Term = D1 ('MetaData "Term" "Codec.CBOR.Term" "cborg-0.2.10.0-403760b0f41de1515e774cc50491278e2437d2e716a7da086c97073ca144b3b3" 'False) ((((C1 ('MetaCons "TInt" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Int)) :+: C1 ('MetaCons "TInteger" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Integer))) :+: (C1 ('MetaCons "TBytes" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)) :+: C1 ('MetaCons "TBytesI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 ByteString)))) :+: ((C1 ('MetaCons "TString" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text)) :+: C1 ('MetaCons "TStringI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Text))) :+: (C1 ('MetaCons "TList" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Term])) :+: C1 ('MetaCons "TListI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [Term]))))) :+: (((C1 ('MetaCons "TMap" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(Term, Term)])) :+: C1 ('MetaCons "TMapI" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 [(Term, Term)]))) :+: (C1 ('MetaCons "TTagged" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Word64) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Term)) :+: C1 ('MetaCons "TBool" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Bool)))) :+: ((C1 ('MetaCons "TNull" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TSimple" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Word8))) :+: (C1 ('MetaCons "THalf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Float)) :+: (C1 ('MetaCons "TFloat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Float)) :+: C1 ('MetaCons "TDouble" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'SourceUnpack 'SourceStrict 'DecidedUnpack) (Rec0 Double)))))))

Methods

from :: Term -> Rep Term x #

to :: Rep Term x -> Term #