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

module Data.Validity.Sequence where

import Data.Validity

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

-- | A 'Seq'uence of things is valid if all the elements are valid.
instance Validity v => Validity (Seq v) where
    isValid = all isValid . toList
    validate s = toList s <?!> "Seq elements"