    {-# OPTIONS_GHC -fno-warn-orphans #-}

    module Data.Validity.Sequence where

    import Data.Foldable (toList)
    import Data.Sequence (Seq)
    import Data.Validity

    -- | A 'Seq'uence of things is valid if all the elements are valid.
    instance (Validity v) => Validity (Seq v) where
      validate :: Seq v -> Validation
    validate Seq v
    s = [v] -> String -> Validation
    forall a. Validity a => a -> String -> Validation
    annotate (Seq v -> [v]
    forall a. Seq a -> [a]
    forall (t :: * -> *) a. Foldable t => t a -> [a]
    toList Seq v
    s) String
    "Seq elements"