| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
SAML2.WebSSO.Test.Arbitrary
Contents
Synopsis
- genHttps :: Gen URI
- genHttps' :: Maybe (Range Int) -> Gen URI
- genNiceText :: Range Int -> Gen ST
- genNiceWord :: Gen ST
- genUserRef :: Gen UserRef
- genConfig :: Gen Config
- genSPContactPerson :: Gen ContactPerson
- genIdPMetadata :: Gen IdPMetadata
- genX509SignedCertificate :: Gen SignedCertificate
- genSPMetadata :: Gen SPMetadata
- genContactPerson :: Gen ContactPerson
- genEmailURI :: Gen URI
- genEmail :: HasCallStack => Gen (CI Email)
- genAuthnRequest :: Gen AuthnRequest
- genTime :: Gen Time
- genDuration :: Gen Duration
- genNominalDifftime :: Gen NominalDiffTime
- genID :: Gen (ID a)
- genIssuer :: Gen Issuer
- genNameIDPolicy :: Gen NameIdPolicy
- genNameIDFormat :: Gen NameIDFormat
- genNameID :: Gen NameID
- genUnqualifiedNameID :: Gen UnqualifiedNameID
- genNonEmpty :: Range Int -> Gen a -> Gen (NonEmpty a)
- genStatus :: Gen Status
- genAuthnResponse :: Gen AuthnResponse
- genResponse :: forall payload. Gen payload -> Gen (Response payload)
- genAssertion :: Gen Assertion
- genConditions :: Gen Conditions
- genSubjectAndStatements :: Gen SubjectAndStatements
- genSubject :: Gen Subject
- genSubjectConfirmation :: Gen SubjectConfirmation
- genSubjectConfirmationMethod :: Gen SubjectConfirmationMethod
- genSubjectConfirmationData :: Gen SubjectConfirmationData
- genDNSName :: Gen DNSName
- genIP :: Gen IP
- genStatement :: Gen Statement
- genLocality :: Gen Locality
- genXMLDocument :: Gen Document
- genXMLNode :: Gen Node
- genXMLElement :: Gen Element
- genXMLName :: Gen Name
- genXMLAttrs :: Gen (Map Name ST)
- genXMLAttr :: Gen (Name, ST)
- genXMLInstruction :: Gen Instruction
- genUUID :: HasCallStack => Gen UUID
- genIdPId :: Gen IdPId
- genSignedCertificate :: Gen SignedCertificate
- genIdPConfig :: Gen a -> Gen (IdPConfig a)
- genFormRedirect :: Gen a -> Gen (FormRedirect a)
- genSimpleSetCookie :: forall (name :: Symbol). KnownSymbol name => Gen (SimpleSetCookie name)
- genRawAuthnResponseBody :: Gen (MultipartData Mem)
- shrinkElement :: Element -> [Element]
- shrinkAttrs :: Map Name Text -> [Map Name Text]
- shrinkNode :: Node -> [Node]
- shallowShrinkList :: Eq a => [a] -> [[a]]
- diffTOD :: Iso' DiffTime TimeOfDay
- timeAsDiff :: Lens' UTCTime DiffTime
- seconds :: Lens' UTCTime Pico
Documentation
genHttps' :: Maybe (Range Int) -> Gen URI Source #
arbitrary URIRef with restricted length.
uri-bytestring has Arbitrary instances, but they are likely to remain internal. also we're not sure what restrictions we'll need to impose on those in roder to get the URIs of the shape required here. https://github.com/Soostone/uri-bytestring/issues/45
genNiceText :: Range Int -> Gen ST Source #
pick N words from a dictionary of popular estonian first names. this should yield enough entropy, but is much nicer to read.
(quickcheck has something like this as well.)
genNiceWord :: Gen ST Source #
genUserRef :: Gen UserRef Source #
genEmailURI :: Gen URI Source #
(we only allow full microseconds, since someone, somewhere does the rounding for us in the tests if we don't do it here, which makes the affected tests fail.)
genSubject :: Gen Subject Source #
genDNSName :: Gen DNSName Source #
genXMLNode :: Gen Node Source #
genXMLName :: Gen Name Source #
genFormRedirect :: Gen a -> Gen (FormRedirect a) Source #
genSimpleSetCookie :: forall (name :: Symbol). KnownSymbol name => Gen (SimpleSetCookie name) Source #
shrinkElement :: Element -> [Element] Source #
shrinkNode :: Node -> [Node] Source #
shallowShrinkList :: Eq a => [a] -> [[a]] Source #
seconds :: Lens' UTCTime Pico Source #
Lens into the second value of a Timeable.
Warning: this is not a proper lens for UTCTime: it only obeys the
lens laws if used with valid values.