{-# LANGUAGE FlexibleInstances #-}

{-# OPTIONS_GHC -Wno-orphans #-}

module Test.Util.Orphans.IOLike () where

import           Control.Monad.IOSim
import           Ouroboros.Consensus.Util.IOLike
import           Test.Util.Orphans.NoThunks ()

instance IOLike (IOSim s) where
  forgetSignKeyKES :: forall v. KESAlgorithm v => SignKeyKES v -> IOSim s ()
forgetSignKeyKES = IOSim s () -> SignKeyKES v -> IOSim s ()
forall a b. a -> b -> a
const (IOSim s () -> SignKeyKES v -> IOSim s ())
-> IOSim s () -> SignKeyKES v -> IOSim s ()
forall a b. (a -> b) -> a -> b
$ () -> IOSim s ()
forall a. a -> IOSim s a
forall (m :: * -> *) a. Monad m => a -> m a
return ()