{-# LANGUAGE DataKinds #-} {-# LANGUAGE FlexibleContexts #-} {-# LANGUAGE TypeApplications #-} module Cardano.Ledger.Shelley.SoftForks ( restrictPoolMetadataHash, ) where import Cardano.Ledger.BaseTypes (ProtVer (..), natVersion) restrictPoolMetadataHash :: ProtVer -> Bool restrictPoolMetadataHash :: ProtVer -> Bool restrictPoolMetadataHash ProtVer pv = ProtVer pv ProtVer -> ProtVer -> Bool forall a. Ord a => a -> a -> Bool > Version -> Natural -> ProtVer ProtVer (forall (v :: Natural). (KnownNat v, MinVersion <= v, v <= MaxVersion) => Version natVersion @4) Natural 0