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)