{-# OPTIONS_GHC -fno-warn-orphans #-}
{-# LANGUAGE FlexibleInstances #-}
{-# LANGUAGE CPP #-}

module Data.GenValidity.Path where
#if !MIN_VERSION_base(4,8,0)
import Data.Functor ((<$>))
#endif
import Data.GenValidity
import Data.Validity.Path ()

import Path
import Path.Internal

instance GenUnchecked (Path a f) where
    genUnchecked = Path <$> genUnchecked
    shrinkUnchecked (Path s) = Path <$> shrinkUnchecked s

instance GenValid (Path Abs File)

instance GenValid (Path Abs Dir)

instance GenValid (Path Rel File)

instance GenValid (Path Rel Dir)

instance GenInvalid (Path Abs File)

instance GenInvalid (Path Abs Dir)

instance GenInvalid (Path Rel File)

instance GenInvalid (Path Rel Dir)