    {-# OPTIONS_GHC -fno-warn-orphans #-}

    module Agda.TypeChecking.Serialise.Instances.Highlighting where

    import qualified Agda.Interaction.Highlighting.Range   as HR
    import qualified Agda.Interaction.Highlighting.Precise as HP
    import qualified Agda.Utils.RangeMap                   as RM

    import Agda.TypeChecking.Serialise.Base
    import Agda.TypeChecking.Serialise.Instances.Common () --instance only

    instance EmbPrj HR.Range where
      icod_ :: Range -> S Int32
    icod_ (HR.Range Int
    a Int
    b) = (Int -> Int -> Range)
    -> Arrows (Domains (Int -> Int -> Range)) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Domains t) (S Int32)
    icodeN' Int -> Int -> Range
    HR.Range Int
    a Int
    b

      value :: Int32 -> R Range
    value = (Int -> Int -> Range)
    -> Int32 -> R (CoDomain (Int -> Int -> Range))
    forall t.
    (VALU t (IsBase t), All EmbPrj (CoDomain t : Domains t)) =>
    t -> Int32 -> R (CoDomain t)
    valueN Int -> Int -> Range
    HR.Range

    instance EmbPrj HP.NameKind where
      icod_ :: NameKind -> S Int32
    icod_ NameKind
    HP.Bound           = NameKind -> Arrows (Domains NameKind) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Domains t) (S Int32)
    icodeN' NameKind
    HP.Bound
      icod_ (HP.Constructor Induction
    a) = Int32
    -> (Induction -> NameKind)
    -> Arrows (Domains (Induction -> NameKind)) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    1 Induction -> NameKind
    HP.Constructor Induction
    a
      icod_ NameKind
    HP.Datatype        = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    2 ()
      icod_ NameKind
    HP.Field           = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    3 ()
      icod_ NameKind
    HP.Function        = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    4 ()
      icod_ NameKind
    HP.Module          = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    5 ()
      icod_ NameKind
    HP.Postulate       = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    6 ()
      icod_ NameKind
    HP.Primitive       = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    7 ()
      icod_ NameKind
    HP.Record          = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    8 ()
      icod_ NameKind
    HP.Argument        = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    9 ()
      icod_ NameKind
    HP.Macro           = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    10 ()
      icod_ NameKind
    HP.Generalizable   = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    11 ()

      value :: Int32 -> R NameKind
    value = (Node -> R NameKind) -> Int32 -> R NameKind
    forall a. EmbPrj a => (Node -> R a) -> Int32 -> R a
    vcase Node -> R NameKind
    valu where
        valu :: Node
    -> Arrows
         (Constant Int32 (Domains NameKind)) (R (CoDomain NameKind))
    valu []      = NameKind
    -> Arrows
         (Constant Int32 (Domains NameKind)) (R (CoDomain NameKind))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN NameKind
    HP.Bound
        valu [Int32
    1 , Int32
    a] = (Induction -> NameKind)
    -> Arrows
         (Constant Int32 (Domains (Induction -> NameKind)))
         (R (CoDomain (Induction -> NameKind)))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN Induction -> NameKind
    HP.Constructor Int32
    a
        valu [Int32
    2]     = NameKind
    -> Arrows
         (Constant Int32 (Domains NameKind)) (R (CoDomain NameKind))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN NameKind
    HP.Datatype
        valu [Int32
    3]     = NameKind
    -> Arrows
         (Constant Int32 (Domains NameKind)) (R (CoDomain NameKind))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN NameKind
    HP.Field
        valu [Int32
    4]     = NameKind
    -> Arrows
         (Constant Int32 (Domains NameKind)) (R (CoDomain NameKind))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN NameKind
    HP.Function
        valu [Int32
    5]     = NameKind
    -> Arrows
         (Constant Int32 (Domains NameKind)) (R (CoDomain NameKind))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN NameKind
    HP.Module
        valu [Int32
    6]     = NameKind
    -> Arrows
         (Constant Int32 (Domains NameKind)) (R (CoDomain NameKind))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN NameKind
    HP.Postulate
        valu [Int32
    7]     = NameKind
    -> Arrows
         (Constant Int32 (Domains NameKind)) (R (CoDomain NameKind))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN NameKind
    HP.Primitive
        valu [Int32
    8]     = NameKind
    -> Arrows
         (Constant Int32 (Domains NameKind)) (R (CoDomain NameKind))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN NameKind
    HP.Record
        valu [Int32
    9]     = NameKind
    -> Arrows
         (Constant Int32 (Domains NameKind)) (R (CoDomain NameKind))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN NameKind
    HP.Argument
        valu [Int32
    10]    = NameKind
    -> Arrows
         (Constant Int32 (Domains NameKind)) (R (CoDomain NameKind))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN NameKind
    HP.Macro
        valu [Int32
    11]    = NameKind
    -> Arrows
         (Constant Int32 (Domains NameKind)) (R (CoDomain NameKind))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN NameKind
    HP.Generalizable
        valu Node
    _       = Arrows (Constant Int32 (Domains NameKind)) (R (CoDomain NameKind))
    forall a. R a
    malformed

    instance EmbPrj HP.Aspect where
      icod_ :: Aspect -> S Int32
    icod_ Aspect
    HP.Comment        = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    0 ()
      icod_ Aspect
    HP.Keyword       = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    1 ()
      icod_ Aspect
    HP.String        = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    2 ()
      icod_ Aspect
    HP.Number        = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    3 ()
      icod_ Aspect
    HP.Symbol        = Aspect -> Arrows (Domains Aspect) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Domains t) (S Int32)
    icodeN' Aspect
    HP.Symbol
      icod_ Aspect
    HP.PrimitiveType = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    4 ()
      icod_ (HP.Name Maybe NameKind
    mk Bool
    b)   = Int32
    -> (Maybe NameKind -> Bool -> Aspect)
    -> Arrows (Domains (Maybe NameKind -> Bool -> Aspect)) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    5 Maybe NameKind -> Bool -> Aspect
    HP.Name Maybe NameKind
    mk Bool
    b
      icod_ Aspect
    HP.Pragma        = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    6 ()
      icod_ Aspect
    HP.Background    = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    7 ()
      icod_ Aspect
    HP.Markup        = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    8 ()
      icod_ Aspect
    HP.Hole          = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    9 ()

      value :: Int32 -> R Aspect
    value = (Node -> R Aspect) -> Int32 -> R Aspect
    forall a. EmbPrj a => (Node -> R a) -> Int32 -> R a
    vcase Node -> R Aspect
    valu where
        valu :: Node
    -> Arrows (Constant Int32 (Domains Aspect)) (R (CoDomain Aspect))
    valu [Int32
    0]        = Aspect
    -> Arrows (Constant Int32 (Domains Aspect)) (R (CoDomain Aspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN Aspect
    HP.Comment
        valu [Int32
    1]        = Aspect
    -> Arrows (Constant Int32 (Domains Aspect)) (R (CoDomain Aspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN Aspect
    HP.Keyword
        valu [Int32
    2]        = Aspect
    -> Arrows (Constant Int32 (Domains Aspect)) (R (CoDomain Aspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN Aspect
    HP.String
        valu [Int32
    3]        = Aspect
    -> Arrows (Constant Int32 (Domains Aspect)) (R (CoDomain Aspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN Aspect
    HP.Number
        valu []         = Aspect
    -> Arrows (Constant Int32 (Domains Aspect)) (R (CoDomain Aspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN Aspect
    HP.Symbol
        valu [Int32
    4]        = Aspect
    -> Arrows (Constant Int32 (Domains Aspect)) (R (CoDomain Aspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN Aspect
    HP.PrimitiveType
        valu [Int32
    5, Int32
    mk, Int32
    b] = (Maybe NameKind -> Bool -> Aspect)
    -> Arrows
         (Constant Int32 (Domains (Maybe NameKind -> Bool -> Aspect)))
         (R (CoDomain (Maybe NameKind -> Bool -> Aspect)))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN Maybe NameKind -> Bool -> Aspect
    HP.Name Int32
    mk Int32
    b
        valu [Int32
    6]        = Aspect
    -> Arrows (Constant Int32 (Domains Aspect)) (R (CoDomain Aspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN Aspect
    HP.Pragma
        valu [Int32
    7]        = Aspect
    -> Arrows (Constant Int32 (Domains Aspect)) (R (CoDomain Aspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN Aspect
    HP.Background
        valu [Int32
    8]        = Aspect
    -> Arrows (Constant Int32 (Domains Aspect)) (R (CoDomain Aspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN Aspect
    HP.Markup
        valu [Int32
    9]        = Aspect
    -> Arrows (Constant Int32 (Domains Aspect)) (R (CoDomain Aspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN Aspect
    HP.Hole
        valu Node
    _          = Arrows (Constant Int32 (Domains Aspect)) (R (CoDomain Aspect))
    forall a. R a
    malformed

    instance EmbPrj HP.OtherAspect where
      icod_ :: OtherAspect -> S Int32
    icod_ OtherAspect
    HP.Error                = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    0 ()
      icod_ OtherAspect
    HP.ErrorWarning         = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    1 ()
      icod_ OtherAspect
    HP.DottedPattern        = OtherAspect -> Arrows (Domains OtherAspect) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Domains t) (S Int32)
    icodeN' OtherAspect
    HP.DottedPattern
      icod_ OtherAspect
    HP.UnsolvedMeta         = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    2 ()
      icod_ OtherAspect
    HP.TerminationProblem   = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    3 ()
      icod_ OtherAspect
    HP.IncompletePattern    = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    4 ()
      icod_ OtherAspect
    HP.TypeChecks           = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    5 ()
      icod_ OtherAspect
    HP.UnsolvedConstraint   = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    6 ()
      icod_ OtherAspect
    HP.PositivityProblem    = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    7 ()
      icod_ OtherAspect
    HP.Deadcode             = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    8 ()
      icod_ OtherAspect
    HP.CoverageProblem      = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    9 ()
      icod_ OtherAspect
    HP.CatchallClause       = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    10 ()
      icod_ OtherAspect
    HP.ConfluenceProblem    = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    11 ()
      icod_ OtherAspect
    HP.MissingDefinition    = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    12 ()
      icod_ OtherAspect
    HP.ShadowingInTelescope = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    13 ()

      value :: Int32 -> R OtherAspect
    value = (Node -> R OtherAspect) -> Int32 -> R OtherAspect
    forall a. EmbPrj a => (Node -> R a) -> Int32 -> R a
    vcase Node -> R OtherAspect
    forall {a}. (Eq a, Num a) => [a] -> R OtherAspect
    valu where
        valu :: [a]
    -> Arrows
         (Constant Int32 (Domains OtherAspect)) (R (CoDomain OtherAspect))
    valu [a
    0] = OtherAspect
    -> Arrows
         (Constant Int32 (Domains OtherAspect)) (R (CoDomain OtherAspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN OtherAspect
    HP.Error
        valu [a
    1] = OtherAspect
    -> Arrows
         (Constant Int32 (Domains OtherAspect)) (R (CoDomain OtherAspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN OtherAspect
    HP.ErrorWarning
        valu []  = OtherAspect
    -> Arrows
         (Constant Int32 (Domains OtherAspect)) (R (CoDomain OtherAspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN OtherAspect
    HP.DottedPattern
        valu [a
    2] = OtherAspect
    -> Arrows
         (Constant Int32 (Domains OtherAspect)) (R (CoDomain OtherAspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN OtherAspect
    HP.UnsolvedMeta
        valu [a
    3] = OtherAspect
    -> Arrows
         (Constant Int32 (Domains OtherAspect)) (R (CoDomain OtherAspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN OtherAspect
    HP.TerminationProblem
        valu [a
    4] = OtherAspect
    -> Arrows
         (Constant Int32 (Domains OtherAspect)) (R (CoDomain OtherAspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN OtherAspect
    HP.IncompletePattern
        valu [a
    5] = OtherAspect
    -> Arrows
         (Constant Int32 (Domains OtherAspect)) (R (CoDomain OtherAspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN OtherAspect
    HP.TypeChecks
        valu [a
    6] = OtherAspect
    -> Arrows
         (Constant Int32 (Domains OtherAspect)) (R (CoDomain OtherAspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN OtherAspect
    HP.UnsolvedConstraint
        valu [a
    7] = OtherAspect
    -> Arrows
         (Constant Int32 (Domains OtherAspect)) (R (CoDomain OtherAspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN OtherAspect
    HP.PositivityProblem
        valu [a
    8] = OtherAspect
    -> Arrows
         (Constant Int32 (Domains OtherAspect)) (R (CoDomain OtherAspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN OtherAspect
    HP.Deadcode
        valu [a
    9] = OtherAspect
    -> Arrows
         (Constant Int32 (Domains OtherAspect)) (R (CoDomain OtherAspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN OtherAspect
    HP.CoverageProblem
        valu [a
    10] = OtherAspect
    -> Arrows
         (Constant Int32 (Domains OtherAspect)) (R (CoDomain OtherAspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN OtherAspect
    HP.CatchallClause
        valu [a
    11] = OtherAspect
    -> Arrows
         (Constant Int32 (Domains OtherAspect)) (R (CoDomain OtherAspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN OtherAspect
    HP.ConfluenceProblem
        valu [a
    12] = OtherAspect
    -> Arrows
         (Constant Int32 (Domains OtherAspect)) (R (CoDomain OtherAspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN OtherAspect
    HP.MissingDefinition
        valu [a
    13] = OtherAspect
    -> Arrows
         (Constant Int32 (Domains OtherAspect)) (R (CoDomain OtherAspect))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN OtherAspect
    HP.ShadowingInTelescope
        valu [a]
    _   = Arrows
      (Constant Int32 (Domains OtherAspect)) (R (CoDomain OtherAspect))
    forall a. R a
    malformed

    instance EmbPrj HP.Aspects where
      icod_ :: Aspects -> S Int32
    icod_ (HP.Aspects Maybe Aspect
    a Set OtherAspect
    b String
    c Maybe DefinitionSite
    d TokenBased
    e) = (Maybe Aspect
     -> Set OtherAspect
     -> String
     -> Maybe DefinitionSite
     -> TokenBased
     -> Aspects)
    -> Arrows
         (Domains
            (Maybe Aspect
             -> Set OtherAspect
             -> String
             -> Maybe DefinitionSite
             -> TokenBased
             -> Aspects))
         (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Domains t) (S Int32)
    icodeN' Maybe Aspect
    -> Set OtherAspect
    -> String
    -> Maybe DefinitionSite
    -> TokenBased
    -> Aspects
    HP.Aspects Maybe Aspect
    a Set OtherAspect
    b String
    c Maybe DefinitionSite
    d TokenBased
    e

      value :: Int32 -> R Aspects
    value = (Maybe Aspect
     -> Set OtherAspect
     -> String
     -> Maybe DefinitionSite
     -> TokenBased
     -> Aspects)
    -> Int32
    -> R (CoDomain
            (Maybe Aspect
             -> Set OtherAspect
             -> String
             -> Maybe DefinitionSite
             -> TokenBased
             -> Aspects))
    forall t.
    (VALU t (IsBase t), All EmbPrj (CoDomain t : Domains t)) =>
    t -> Int32 -> R (CoDomain t)
    valueN Maybe Aspect
    -> Set OtherAspect
    -> String
    -> Maybe DefinitionSite
    -> TokenBased
    -> Aspects
    HP.Aspects

    instance EmbPrj HP.DefinitionSite where
      icod_ :: DefinitionSite -> S Int32
    icod_ (HP.DefinitionSite TopLevelModuleName
    a Int
    b Bool
    c Maybe String
    d) = (TopLevelModuleName
     -> Int -> Bool -> Maybe String -> DefinitionSite)
    -> Arrows
         (Domains
            (TopLevelModuleName
             -> Int -> Bool -> Maybe String -> DefinitionSite))
         (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Domains t) (S Int32)
    icodeN' TopLevelModuleName -> Int -> Bool -> Maybe String -> DefinitionSite
    HP.DefinitionSite TopLevelModuleName
    a Int
    b Bool
    c Maybe String
    d

      value :: Int32 -> R DefinitionSite
    value = (TopLevelModuleName
     -> Int -> Bool -> Maybe String -> DefinitionSite)
    -> Int32
    -> R (CoDomain
            (TopLevelModuleName
             -> Int -> Bool -> Maybe String -> DefinitionSite))
    forall t.
    (VALU t (IsBase t), All EmbPrj (CoDomain t : Domains t)) =>
    t -> Int32 -> R (CoDomain t)
    valueN TopLevelModuleName -> Int -> Bool -> Maybe String -> DefinitionSite
    HP.DefinitionSite

    instance EmbPrj a => EmbPrj (RM.PairInt a) where
      icod_ :: PairInt a -> S Int32
    icod_ (RM.PairInt Pair Int a
    a) = (Pair Int a -> PairInt a)
    -> Arrows (Domains (Pair Int a -> PairInt a)) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Domains t) (S Int32)
    icodeN' Pair Int a -> PairInt a
    forall a. Pair Int a -> PairInt a
    RM.PairInt Pair Int a
    a

      value :: Int32 -> R (PairInt a)
    value = (Pair Int a -> PairInt a)
    -> Int32 -> R (CoDomain (Pair Int a -> PairInt a))
    forall t.
    (VALU t (IsBase t), All EmbPrj (CoDomain t : Domains t)) =>
    t -> Int32 -> R (CoDomain t)
    valueN Pair Int a -> PairInt a
    forall a. Pair Int a -> PairInt a
    RM.PairInt

    instance EmbPrj a => EmbPrj (RM.RangeMap a) where
      icod_ :: RangeMap a -> S Int32
    icod_ (RM.RangeMap Map Int (PairInt a)
    f) = (Map Int (PairInt a) -> RangeMap a)
    -> Arrows (Domains (Map Int (PairInt a) -> RangeMap a)) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Domains t) (S Int32)
    icodeN' Map Int (PairInt a) -> RangeMap a
    forall a. Map Int (PairInt a) -> RangeMap a
    RM.RangeMap Map Int (PairInt a)
    f

      value :: Int32 -> R (RangeMap a)
    value = (Map Int (PairInt a) -> RangeMap a)
    -> Int32 -> R (CoDomain (Map Int (PairInt a) -> RangeMap a))
    forall t.
    (VALU t (IsBase t), All EmbPrj (CoDomain t : Domains t)) =>
    t -> Int32 -> R (CoDomain t)
    valueN Map Int (PairInt a) -> RangeMap a
    forall a. Map Int (PairInt a) -> RangeMap a
    RM.RangeMap

    instance EmbPrj HP.TokenBased where
      icod_ :: TokenBased -> S Int32
    icod_ TokenBased
    HP.TokenBased        = Int32 -> () -> Arrows (Domains ()) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    Int32 -> t -> Arrows (Domains t) (S Int32)
    icodeN Int32
    0 ()
      icod_ TokenBased
    HP.NotOnlyTokenBased = TokenBased -> Arrows (Domains TokenBased) (S Int32)
    forall t.
    (ICODE t (IsBase t), Currying (Domains t) (S Int32),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Domains t) (S Int32)
    icodeN' TokenBased
    HP.NotOnlyTokenBased

      value :: Int32 -> R TokenBased
    value = (Node -> R TokenBased) -> Int32 -> R TokenBased
    forall a. EmbPrj a => (Node -> R a) -> Int32 -> R a
    vcase Node -> R TokenBased
    forall {a}. (Eq a, Num a) => [a] -> R TokenBased
    valu where
        valu :: [a]
    -> Arrows
         (Constant Int32 (Domains TokenBased)) (R (CoDomain TokenBased))
    valu [a
    0] = TokenBased
    -> Arrows
         (Constant Int32 (Domains TokenBased)) (R (CoDomain TokenBased))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN TokenBased
    HP.TokenBased
        valu []  = TokenBased
    -> Arrows
         (Constant Int32 (Domains TokenBased)) (R (CoDomain TokenBased))
    forall t.
    (VALU t (IsBase t),
     Currying (Constant Int32 (Domains t)) (R (CoDomain t)),
     All EmbPrj (Domains t)) =>
    t -> Arrows (Constant Int32 (Domains t)) (R (CoDomain t))
    valuN TokenBased
    HP.NotOnlyTokenBased
        valu [a]
    _   = Arrows
      (Constant Int32 (Domains TokenBased)) (R (CoDomain TokenBased))
    forall a. R a
    malformed