Gen.hs

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

module Cautious.Gen where

import Cautious.Cautious
import Cautious.CautiousT

import Data.GenValidity

instance (GenUnchecked a, GenUnchecked w, GenUnchecked e) =>
         GenUnchecked (Cautious w e a)

instance (GenValid a, GenValid w, GenValid e) => GenValid (Cautious w e a)

instance GenUnchecked (m (Cautious e w a)) =>
         GenUnchecked (CautiousT e w m a)

instance GenValid (m (Cautious e w a)) => GenValid (CautiousT e w m a)