Hoogle Search
Within LTS Haskell 24.25 (ghc-9.10.3)
Note that Stackage only displays results for the latest LTS and Nightly snapshot. Learn more.
_cloudTrailTrailEnableLogFileValidation :: CloudTrailTrail -> Maybe (Val Bool)stratosphere Stratosphere.Resources.CloudTrailTrail No documentation available.
cttEnableLogFileValidation :: Lens' CloudTrailTrail (Maybe (Val Bool))stratosphere Stratosphere.Resources.CloudTrailTrail -
stratosphere Stratosphere.Resources.CognitoUserPoolUser No documentation available.
cupuValidationData :: Lens' CognitoUserPoolUser (Maybe [CognitoUserPoolUserAttributeType])stratosphere Stratosphere.Resources.CognitoUserPoolUser decodeValidation :: TomlCodec a -> Text -> Validation [TomlDecodeError] atomland Toml.Codec.Code Convert textual representation of TOML into user data type by the provided codec.
partitionValidations :: [Validation e a] -> ([e], [a])valida Valida Partitions a list of Either into two lists. All the Left elements are extracted, in order, to the first component of the output. Similarly the Right elements are extracted to the second component of the output.
partitionValidations xs = (failures xs, successes xs)
Examples
>>> partitionValidations [Success 1, Failure "err1", Failure "err2", Success 2, Failure "err3"] (["err1","err2","err3"],[1,2])
partitionValidations :: [Validation e a] -> ([e], [a])valida-base Valida Partitions a list of Either into two lists. All the Left elements are extracted, in order, to the first component of the output. Similarly the Right elements are extracted to the second component of the output.
partitionValidations xs = (failures xs, successes xs)
Examples
>>> partitionValidations [Success 1, Failure "err1", Failure "err2", Success 2, Failure "err3"] (["err1","err2","err3"],[1,2])
type
TransValidationRule e a b = TransValidationRuleT e Identity a bvalidate-input Data.Validator A transforming validation rule. Combine using (>=>) or (<=<)
type
TransValidationRuleT e (m :: Type -> Type) a b = a -> ValidationT e m bvalidate-input Data.Validator A transforming validation rule. Combine using (>=>) or (<=<)
_Validation :: Validate f => Iso (f e a) (f g b) (Validation e a) (Validation g b)validation Data.Validation No documentation available.