{-# LANGUAGE GADTs #-}
{-# LANGUAGE RankNTypes #-}

-- | Constraint satisfaction functions. These are used to avoid propagating constraints.
--
module Cardano.Api.Convenience.Constraints (
    getIsCardanoEraConstraint
  ) where


import           Cardano.Api.Eras

getIsCardanoEraConstraint :: CardanoEra era -> (IsCardanoEra era => a) -> a
getIsCardanoEraConstraint :: CardanoEra era -> (IsCardanoEra era => a) -> a
getIsCardanoEraConstraint CardanoEra era
ByronEra IsCardanoEra era => a
f = a
IsCardanoEra era => a
f
getIsCardanoEraConstraint CardanoEra era
ShelleyEra IsCardanoEra era => a
f = a
IsCardanoEra era => a
f
getIsCardanoEraConstraint CardanoEra era
AllegraEra IsCardanoEra era => a
f = a
IsCardanoEra era => a
f
getIsCardanoEraConstraint CardanoEra era
MaryEra IsCardanoEra era => a
f = a
IsCardanoEra era => a
f
getIsCardanoEraConstraint CardanoEra era
AlonzoEra IsCardanoEra era => a
f = a
IsCardanoEra era => a
f
getIsCardanoEraConstraint CardanoEra era
BabbageEra IsCardanoEra era => a
f = a
IsCardanoEra era => a
f