    {-# OPTIONS_GHC -fno-warn-orphans     #-}
    {-# OPTIONS_GHC -fwarn-unused-imports #-}

    module Agda.TypeChecking.Serialise.Instances.Compilers where

    import Agda.TypeChecking.Serialise.Base
    import Agda.TypeChecking.Serialise.Instances.Common

    import Agda.TypeChecking.Monad

    instance EmbPrj CompilerPragma where
      icod_ (CompilerPragma a b) =
        icodeN' (CompilerPragma . underlyingRange) (SerialisedRange a) b

      value = valueN (CompilerPragma . underlyingRange)

    instance EmbPrj ForeignCode where
      icod_ (ForeignCode r a) =
        icodeN' (ForeignCode . underlyingRange) (SerialisedRange r) a

      value = valueN (ForeignCode . underlyingRange)