Hoogle Search
Within LTS Haskell 24.65 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
-
openapi3 Data.OpenApi.Schema.Validation Validate JSON Value agains Swagger ToSchema for a given value and pattern checker. For validation without patterns see validateJSON.
validatePrettyToJSON :: (ToJSON a, ToSchema a) => a -> Maybe Stringopenapi3 Data.OpenApi.Schema.Validation Validate ToJSON instance matches ToSchema for a given value. This can be used with QuickCheck to ensure those instances are coherent:
validateToJSON (x :: Int) == []
NOTE: validateToJSON does not perform string pattern validation. See validateToJSONWithPatternChecker. See renderValidationErrors on how the output is structured.validateToJSON :: (ToJSON a, ToSchema a) => a -> [ValidationError]openapi3 Data.OpenApi.Schema.Validation Variant of validatePrettyToJSON with typed output.
-
openapi3 Data.OpenApi.Schema.Validation Validate ToJSON instance matches ToSchema for a given value and pattern checker. This can be used with QuickCheck to ensure those instances are coherent. For validation without patterns see validateToJSON. See also: renderValidationErrors.
BiDiStreaming :: StreamingTypeproto-lens Data.ProtoLens.Service.Types No documentation available.
DivideByZero :: ArithExceptionprotolude Protolude No documentation available.
-
protolude Protolude A ThreadId is an abstract type representing a handle to a thread. ThreadId is an instance of Eq, Ord and Show, where the Ord instance implements an arbitrary total ordering over ThreadIds. The Show instance lets you convert an arbitrary-valued ThreadId to string form; showing a ThreadId value is occasionally useful when debugging or diagnosing the behaviour of a concurrent program. Note: in GHC, if you have a ThreadId, you essentially have a pointer to the thread itself. This means the thread itself can't be garbage collected until you drop the ThreadId. This misfeature would be difficult to correct while continuing to support threadStatus.
-
protolude Protolude Provide a Semigroup for an arbitrary Monoid. NOTE: This is not needed anymore since Semigroup became a superclass of Monoid in base-4.11 and this newtype be deprecated at some point in the future.
mkWeakThreadId :: ThreadId -> IO (Weak ThreadId)protolude Protolude Make a weak pointer to a ThreadId. It can be important to do this if you want to hold a reference to a ThreadId while still allowing the thread to receive the BlockedIndefinitely family of exceptions (e.g. BlockedIndefinitelyOnMVar). Holding a normal ThreadId reference will prevent the delivery of BlockedIndefinitely exceptions because the reference could be used as the target of throwTo at any time, which would unblock the thread. Holding a Weak ThreadId, on the other hand, will not prevent the thread from receiving BlockedIndefinitely exceptions. It is still possible to throw an exception to a Weak ThreadId, but the caller must use deRefWeak first to determine whether the thread still exists.
-
protolude Protolude Returns the ThreadId of the calling thread (GHC only).