{-# LANGUAGE BangPatterns #-}
{-# LANGUAGE EmptyCase #-}
{-# LANGUAGE EmptyDataDecls #-}
{-# LANGUAGE ExistentialQuantification #-}
{-# LANGUAGE NoMonomorphismRestriction #-}
{-# LANGUAGE OverloadedStrings #-}
{-# LANGUAGE PatternSynonyms #-}
{-# LANGUAGE RankNTypes #-}
{-# LANGUAGE ScopedTypeVariables #-}

{-# OPTIONS_GHC -Wno-overlapping-patterns #-}

module MAlonzo.Code.Data.List.NonEmpty.Base where

import MAlonzo.RTE (coe, erased, AgdaAny, addInt, subInt, mulInt,
                    quotInt, remInt, geqInt, ltInt, eqInt, add64, sub64, mul64, quot64,
                    rem64, lt64, eq64, word64FromNat, word64ToNat)
import qualified MAlonzo.RTE
import qualified Data.Text
import qualified MAlonzo.Code.Agda.Builtin.Equality
import qualified MAlonzo.Code.Agda.Builtin.List
import qualified MAlonzo.Code.Agda.Builtin.Maybe
import qualified MAlonzo.Code.Agda.Builtin.Sigma
import qualified MAlonzo.Code.Agda.Primitive
import qualified MAlonzo.Code.Data.Irrelevant
import qualified MAlonzo.Code.Data.List.Base
import qualified MAlonzo.Code.Data.Nat.Base
import qualified MAlonzo.Code.Data.Product.Base
import qualified MAlonzo.Code.Data.Sum.Base
import qualified MAlonzo.Code.Data.These.Base
import qualified MAlonzo.Code.Data.Vec.Base
import qualified MAlonzo.Code.Function.Base
import qualified MAlonzo.Code.Relation.Nullary.Decidable.Core

-- Data.List.NonEmpty.Base.List⁺
d_List'8314'_22 :: p -> p -> ()
d_List'8314'_22 p
a0 p
a1 = ()
data T_List'8314'_22 = C__'8759'__34 AgdaAny [AgdaAny]
-- Data.List.NonEmpty.Base.List⁺.head
d_head_30 :: T_List'8314'_22 -> AgdaAny
d_head_30 :: T_List'8314'_22 -> AgdaAny
d_head_30 T_List'8314'_22
v0
  = case T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe T_List'8314'_22
v0 of
      C__'8759'__34 AgdaAny
v1 [AgdaAny]
v2 -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1
      T_List'8314'_22
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.List⁺.tail
d_tail_32 :: T_List'8314'_22 -> [AgdaAny]
d_tail_32 :: T_List'8314'_22 -> [AgdaAny]
d_tail_32 T_List'8314'_22
v0
  = case T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe T_List'8314'_22
v0 of
      C__'8759'__34 AgdaAny
v1 [AgdaAny]
v2 -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v2
      T_List'8314'_22
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.uncons
d_uncons_36 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_22 -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
d_uncons_36 :: () -> () -> T_List'8314'_22 -> T_Σ_14
d_uncons_36 ~()
v0 ~()
v1 T_List'8314'_22
v2 = T_List'8314'_22 -> T_Σ_14
du_uncons_36 T_List'8314'_22
v2
du_uncons_36 ::
  T_List'8314'_22 -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
du_uncons_36 :: T_List'8314'_22 -> T_Σ_14
du_uncons_36 T_List'8314'_22
v0
  = case T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe T_List'8314'_22
v0 of
      C__'8759'__34 AgdaAny
v1 [AgdaAny]
v2
        -> (AgdaAny -> AgdaAny -> T_Σ_14) -> AgdaAny -> AgdaAny -> T_Σ_14
forall a b. a -> b
coe
             AgdaAny -> AgdaAny -> T_Σ_14
MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v2)
      T_List'8314'_22
_ -> T_Σ_14
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.[_]
d_'91'_'93'_42 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> AgdaAny -> T_List'8314'_22
d_'91'_'93'_42 :: () -> () -> AgdaAny -> T_List'8314'_22
d_'91'_'93'_42 ~()
v0 ~()
v1 AgdaAny
v2 = AgdaAny -> T_List'8314'_22
du_'91'_'93'_42 AgdaAny
v2
du_'91'_'93'_42 :: AgdaAny -> T_List'8314'_22
du_'91'_'93'_42 :: AgdaAny -> T_List'8314'_22
du_'91'_'93'_42 AgdaAny
v0
  = (AgdaAny -> [AgdaAny] -> T_List'8314'_22)
-> AgdaAny -> AgdaAny -> T_List'8314'_22
forall a b. a -> b
coe
      AgdaAny -> [AgdaAny] -> T_List'8314'_22
C__'8759'__34 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v0)
      ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16)
-- Data.List.NonEmpty.Base._∷⁺_
d__'8759''8314'__46 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> AgdaAny -> T_List'8314'_22 -> T_List'8314'_22
d__'8759''8314'__46 :: () -> () -> AgdaAny -> T_List'8314'_22 -> T_List'8314'_22
d__'8759''8314'__46 ~()
v0 ~()
v1 AgdaAny
v2 T_List'8314'_22
v3 = AgdaAny -> T_List'8314'_22 -> T_List'8314'_22
du__'8759''8314'__46 AgdaAny
v2 T_List'8314'_22
v3
du__'8759''8314'__46 ::
  AgdaAny -> T_List'8314'_22 -> T_List'8314'_22
du__'8759''8314'__46 :: AgdaAny -> T_List'8314'_22 -> T_List'8314'_22
du__'8759''8314'__46 AgdaAny
v0 T_List'8314'_22
v1
  = case T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe T_List'8314'_22
v1 of
      C__'8759'__34 AgdaAny
v2 [AgdaAny]
v3
        -> (AgdaAny -> [AgdaAny] -> T_List'8314'_22)
-> AgdaAny -> AgdaAny -> T_List'8314'_22
forall a b. a -> b
coe
             AgdaAny -> [AgdaAny] -> T_List'8314'_22
C__'8759'__34 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v0)
             ((AgdaAny -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                AgdaAny -> [AgdaAny] -> [AgdaAny]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v2) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3))
      T_List'8314'_22
_ -> T_List'8314'_22
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.length
d_length_54 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_22 -> Integer
d_length_54 :: () -> () -> T_List'8314'_22 -> Integer
d_length_54 ~()
v0 ~()
v1 T_List'8314'_22
v2 = T_List'8314'_22 -> Integer
du_length_54 T_List'8314'_22
v2
du_length_54 :: T_List'8314'_22 -> Integer
du_length_54 :: T_List'8314'_22 -> Integer
du_length_54 T_List'8314'_22
v0
  = case T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe T_List'8314'_22
v0 of
      C__'8759'__34 AgdaAny
v1 [AgdaAny]
v2
        -> (Integer -> Integer -> Integer) -> AgdaAny -> AgdaAny -> Integer
forall a b. a -> b
coe
             Integer -> Integer -> Integer
addInt (Integer -> AgdaAny
forall a b. a -> b
coe (Integer
1 :: Integer))
             (([AgdaAny] -> Integer) -> [AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny] -> Integer
MAlonzo.Code.Data.List.Base.du_length_284 [AgdaAny]
v2)
      T_List'8314'_22
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.toList
d_toList_60 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_22 -> [AgdaAny]
d_toList_60 :: () -> () -> T_List'8314'_22 -> [AgdaAny]
d_toList_60 ~()
v0 ~()
v1 T_List'8314'_22
v2 = T_List'8314'_22 -> [AgdaAny]
du_toList_60 T_List'8314'_22
v2
du_toList_60 :: T_List'8314'_22 -> [AgdaAny]
du_toList_60 :: T_List'8314'_22 -> [AgdaAny]
du_toList_60 T_List'8314'_22
v0
  = case T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe T_List'8314'_22
v0 of
      C__'8759'__34 AgdaAny
v1 [AgdaAny]
v2
        -> (AgdaAny -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> [AgdaAny]
forall a b. a -> b
coe
             AgdaAny -> [AgdaAny] -> [AgdaAny]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v2)
      T_List'8314'_22
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.fromList
d_fromList_66 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> Maybe T_List'8314'_22
d_fromList_66 :: () -> () -> [AgdaAny] -> Maybe T_List'8314'_22
d_fromList_66 ~()
v0 ~()
v1 [AgdaAny]
v2 = [AgdaAny] -> Maybe T_List'8314'_22
du_fromList_66 [AgdaAny]
v2
du_fromList_66 :: [AgdaAny] -> Maybe T_List'8314'_22
du_fromList_66 :: [AgdaAny] -> Maybe T_List'8314'_22
du_fromList_66 [AgdaAny]
v0
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v0 of
      [] -> Maybe AgdaAny -> Maybe T_List'8314'_22
forall a b. a -> b
coe Maybe AgdaAny
forall {a}. Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18
      (:) AgdaAny
v1 [AgdaAny]
v2
        -> (AgdaAny -> Maybe AgdaAny) -> AgdaAny -> Maybe T_List'8314'_22
forall a b. a -> b
coe
             AgdaAny -> Maybe AgdaAny
forall {a}. a -> Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_just_16
             ((AgdaAny -> [AgdaAny] -> T_List'8314'_22)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> [AgdaAny] -> T_List'8314'_22
C__'8759'__34 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v2))
      [AgdaAny]
_ -> Maybe T_List'8314'_22
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.fromVec
d_fromVec_74 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  Integer -> MAlonzo.Code.Data.Vec.Base.T_Vec_28 -> T_List'8314'_22
d_fromVec_74 :: () -> () -> Integer -> T_Vec_28 -> T_List'8314'_22
d_fromVec_74 ~()
v0 ~()
v1 ~Integer
v2 T_Vec_28
v3 = T_Vec_28 -> T_List'8314'_22
du_fromVec_74 T_Vec_28
v3
du_fromVec_74 ::
  MAlonzo.Code.Data.Vec.Base.T_Vec_28 -> T_List'8314'_22
du_fromVec_74 :: T_Vec_28 -> T_List'8314'_22
du_fromVec_74 T_Vec_28
v0
  = case T_Vec_28 -> T_Vec_28
forall a b. a -> b
coe T_Vec_28
v0 of
      MAlonzo.Code.Data.Vec.Base.C__'8759'__38 AgdaAny
v2 T_Vec_28
v3
        -> (AgdaAny -> [AgdaAny] -> T_List'8314'_22)
-> AgdaAny -> AgdaAny -> T_List'8314'_22
forall a b. a -> b
coe
             AgdaAny -> [AgdaAny] -> T_List'8314'_22
C__'8759'__34 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v2)
             ((T_Vec_28 -> [AgdaAny]) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_Vec_28 -> [AgdaAny]
MAlonzo.Code.Data.Vec.Base.du_toList_592 (T_Vec_28 -> AgdaAny
forall a b. a -> b
coe T_Vec_28
v3))
      T_Vec_28
_ -> T_List'8314'_22
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.toVec
d_toVec_82 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_22 -> MAlonzo.Code.Data.Vec.Base.T_Vec_28
d_toVec_82 :: () -> () -> T_List'8314'_22 -> T_Vec_28
d_toVec_82 ~()
v0 ~()
v1 T_List'8314'_22
v2 = T_List'8314'_22 -> T_Vec_28
du_toVec_82 T_List'8314'_22
v2
du_toVec_82 ::
  T_List'8314'_22 -> MAlonzo.Code.Data.Vec.Base.T_Vec_28
du_toVec_82 :: T_List'8314'_22 -> T_Vec_28
du_toVec_82 T_List'8314'_22
v0
  = case T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe T_List'8314'_22
v0 of
      C__'8759'__34 AgdaAny
v1 [AgdaAny]
v2
        -> (AgdaAny -> T_Vec_28 -> T_Vec_28) -> AgdaAny -> AgdaAny -> T_Vec_28
forall a b. a -> b
coe
             AgdaAny -> T_Vec_28 -> T_Vec_28
MAlonzo.Code.Data.Vec.Base.C__'8759'__38 AgdaAny
v1
             (([AgdaAny] -> T_Vec_28) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe [AgdaAny] -> T_Vec_28
MAlonzo.Code.Data.Vec.Base.du_fromList_600 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v2))
      T_List'8314'_22
_ -> T_Vec_28
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.lift
d_lift_92 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (Integer ->
   MAlonzo.Code.Data.Vec.Base.T_Vec_28 ->
   MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14) ->
  T_List'8314'_22 -> T_List'8314'_22
d_lift_92 :: ()
-> ()
-> ()
-> ()
-> (Integer -> T_Vec_28 -> T_Σ_14)
-> T_List'8314'_22
-> T_List'8314'_22
d_lift_92 ~()
v0 ~()
v1 ~()
v2 ~()
v3 Integer -> T_Vec_28 -> T_Σ_14
v4 T_List'8314'_22
v5 = (Integer -> T_Vec_28 -> T_Σ_14)
-> T_List'8314'_22 -> T_List'8314'_22
du_lift_92 Integer -> T_Vec_28 -> T_Σ_14
v4 T_List'8314'_22
v5
du_lift_92 ::
  (Integer ->
   MAlonzo.Code.Data.Vec.Base.T_Vec_28 ->
   MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14) ->
  T_List'8314'_22 -> T_List'8314'_22
du_lift_92 :: (Integer -> T_Vec_28 -> T_Σ_14)
-> T_List'8314'_22 -> T_List'8314'_22
du_lift_92 Integer -> T_Vec_28 -> T_Σ_14
v0 T_List'8314'_22
v1
  = (T_Vec_28 -> T_List'8314'_22) -> AgdaAny -> T_List'8314'_22
forall a b. a -> b
coe
      T_Vec_28 -> T_List'8314'_22
du_fromVec_74
      ((T_Σ_14 -> AgdaAny) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
         T_Σ_14 -> AgdaAny
MAlonzo.Code.Agda.Builtin.Sigma.d_snd_30
         ((Integer -> T_Vec_28 -> T_Σ_14) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
            Integer -> T_Vec_28 -> T_Σ_14
v0
            (((AgdaAny -> AgdaAny -> AgdaAny)
 -> AgdaAny -> [AgdaAny] -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
               (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
MAlonzo.Code.Data.List.Base.du_foldr_216
               (let v2 :: a -> Integer
v2 = \ a
v2 -> Integer -> Integer -> Integer
addInt (Integer -> Integer
forall a b. a -> b
coe (Integer
1 :: Integer)) (a -> Integer
forall a b. a -> b
coe a
v2) in
                AgdaAny -> AgdaAny
forall a b. a -> b
coe ((AgdaAny -> AgdaAny -> Integer) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v3 -> AgdaAny -> Integer
forall {a}. a -> Integer
v2)))
               (Integer -> AgdaAny
forall a b. a -> b
coe (Integer
0 :: Integer)) ((T_List'8314'_22 -> [AgdaAny]) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_List'8314'_22 -> [AgdaAny]
d_tail_32 (T_List'8314'_22 -> AgdaAny
forall a b. a -> b
coe T_List'8314'_22
v1)))
            ((T_List'8314'_22 -> T_Vec_28) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_List'8314'_22 -> T_Vec_28
du_toVec_82 (T_List'8314'_22 -> AgdaAny
forall a b. a -> b
coe T_List'8314'_22
v1))))
-- Data.List.NonEmpty.Base.map
d_map_98 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> T_List'8314'_22
d_map_98 :: ()
-> ()
-> ()
-> ()
-> (AgdaAny -> AgdaAny)
-> T_List'8314'_22
-> T_List'8314'_22
d_map_98 ~()
v0 ~()
v1 ~()
v2 ~()
v3 AgdaAny -> AgdaAny
v4 T_List'8314'_22
v5 = (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> T_List'8314'_22
du_map_98 AgdaAny -> AgdaAny
v4 T_List'8314'_22
v5
du_map_98 ::
  (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> T_List'8314'_22
du_map_98 :: (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> T_List'8314'_22
du_map_98 AgdaAny -> AgdaAny
v0 T_List'8314'_22
v1
  = case T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe T_List'8314'_22
v1 of
      C__'8759'__34 AgdaAny
v2 [AgdaAny]
v3
        -> (AgdaAny -> [AgdaAny] -> T_List'8314'_22)
-> AgdaAny -> AgdaAny -> T_List'8314'_22
forall a b. a -> b
coe
             AgdaAny -> [AgdaAny] -> T_List'8314'_22
C__'8759'__34 ((AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny
v0 AgdaAny
v2)
             (((AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny]
MAlonzo.Code.Data.List.Base.du_map_22 ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3))
      T_List'8314'_22
_ -> T_List'8314'_22
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.replicate
d_replicate_108 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  Integer ->
  (MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
   MAlonzo.Code.Data.Irrelevant.T_Irrelevant_20) ->
  AgdaAny -> T_List'8314'_22
d_replicate_108 :: ()
-> ()
-> Integer
-> (T__'8801'__12 -> T_Irrelevant_20)
-> AgdaAny
-> T_List'8314'_22
d_replicate_108 ~()
v0 ~()
v1 Integer
v2 ~T__'8801'__12 -> T_Irrelevant_20
v3 AgdaAny
v4 = Integer -> AgdaAny -> T_List'8314'_22
du_replicate_108 Integer
v2 AgdaAny
v4
du_replicate_108 :: Integer -> AgdaAny -> T_List'8314'_22
du_replicate_108 :: Integer -> AgdaAny -> T_List'8314'_22
du_replicate_108 Integer
v0 AgdaAny
v1
  = (AgdaAny -> [AgdaAny] -> T_List'8314'_22)
-> AgdaAny -> AgdaAny -> T_List'8314'_22
forall a b. a -> b
coe
      AgdaAny -> [AgdaAny] -> T_List'8314'_22
C__'8759'__34 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1)
      ((Integer -> AgdaAny -> [AgdaAny]) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
         Integer -> AgdaAny -> [AgdaAny]
MAlonzo.Code.Data.List.Base.du_replicate_294
         ((Integer -> Integer) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe Integer -> Integer
MAlonzo.Code.Data.Nat.Base.d_pred_192 (Integer -> AgdaAny
forall a b. a -> b
coe Integer
v0)) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1))
-- Data.List.NonEmpty.Base.drop+
d_drop'43'_116 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> Integer -> T_List'8314'_22 -> T_List'8314'_22
d_drop'43'_116 :: () -> () -> Integer -> T_List'8314'_22 -> T_List'8314'_22
d_drop'43'_116 ~()
v0 ~()
v1 Integer
v2 T_List'8314'_22
v3 = Integer -> T_List'8314'_22 -> T_List'8314'_22
du_drop'43'_116 Integer
v2 T_List'8314'_22
v3
du_drop'43'_116 :: Integer -> T_List'8314'_22 -> T_List'8314'_22
du_drop'43'_116 :: Integer -> T_List'8314'_22 -> T_List'8314'_22
du_drop'43'_116 Integer
v0 T_List'8314'_22
v1
  = case Integer -> Integer
forall a b. a -> b
coe Integer
v0 of
      Integer
0 -> T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe T_List'8314'_22
v1
      Integer
_ -> let v2 :: Integer
v2 = Integer -> Integer -> Integer
subInt (Integer -> Integer
forall a b. a -> b
coe Integer
v0) (Integer -> Integer
forall a b. a -> b
coe (Integer
1 :: Integer)) in
           AgdaAny -> T_List'8314'_22
forall a b. a -> b
coe
             (case T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe T_List'8314'_22
v1 of
                C__'8759'__34 AgdaAny
v3 [AgdaAny]
v4
                  -> case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v4 of
                       [] -> T_List'8314'_22 -> AgdaAny
forall a b. a -> b
coe T_List'8314'_22
v1
                       (:) AgdaAny
v5 [AgdaAny]
v6
                         -> (Integer -> T_List'8314'_22 -> T_List'8314'_22)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                              Integer -> T_List'8314'_22 -> T_List'8314'_22
du_drop'43'_116 (Integer -> AgdaAny
forall a b. a -> b
coe Integer
v2) ((AgdaAny -> [AgdaAny] -> T_List'8314'_22)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> [AgdaAny] -> T_List'8314'_22
C__'8759'__34 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v5) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v6))
                       [AgdaAny]
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
                T_List'8314'_22
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError)
-- Data.List.NonEmpty.Base.foldr
d_foldr_132 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny
d_foldr_132 :: ()
-> ()
-> ()
-> ()
-> (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny)
-> T_List'8314'_22
-> AgdaAny
d_foldr_132 ~()
v0 ~()
v1 ~()
v2 ~()
v3 AgdaAny -> AgdaAny -> AgdaAny
v4 AgdaAny -> AgdaAny
v5 T_List'8314'_22
v6 = (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny
du_foldr_132 AgdaAny -> AgdaAny -> AgdaAny
v4 AgdaAny -> AgdaAny
v5 T_List'8314'_22
v6
du_foldr_132 ::
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny
du_foldr_132 :: (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny
du_foldr_132 AgdaAny -> AgdaAny -> AgdaAny
v0 AgdaAny -> AgdaAny
v1 T_List'8314'_22
v2
  = case T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe T_List'8314'_22
v2 of
      C__'8759'__34 AgdaAny
v3 [AgdaAny]
v4
        -> ((AgdaAny -> AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
du_foldr'8242'_150 ((AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> AgdaAny
v0) ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny
v1) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v3) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v4)
      T_List'8314'_22
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base._.foldr′
d_foldr'8242'_150 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  (AgdaAny -> AgdaAny) ->
  AgdaAny -> [AgdaAny] -> AgdaAny -> [AgdaAny] -> AgdaAny
d_foldr'8242'_150 :: ()
-> ()
-> ()
-> ()
-> (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny)
-> AgdaAny
-> [AgdaAny]
-> AgdaAny
-> [AgdaAny]
-> AgdaAny
d_foldr'8242'_150 ~()
v0 ~()
v1 ~()
v2 ~()
v3 AgdaAny -> AgdaAny -> AgdaAny
v4 AgdaAny -> AgdaAny
v5 ~AgdaAny
v6 ~[AgdaAny]
v7 AgdaAny
v8 [AgdaAny]
v9
  = (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
du_foldr'8242'_150 AgdaAny -> AgdaAny -> AgdaAny
v4 AgdaAny -> AgdaAny
v5 AgdaAny
v8 [AgdaAny]
v9
du_foldr'8242'_150 ::
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  (AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
du_foldr'8242'_150 :: (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
du_foldr'8242'_150 AgdaAny -> AgdaAny -> AgdaAny
v0 AgdaAny -> AgdaAny
v1 AgdaAny
v2 [AgdaAny]
v3
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v3 of
      [] -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny
v1 AgdaAny
v2
      (:) AgdaAny
v4 [AgdaAny]
v5
        -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
             AgdaAny -> AgdaAny -> AgdaAny
v0 AgdaAny
v2 (((AgdaAny -> AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
du_foldr'8242'_150 ((AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> AgdaAny
v0) ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny
v1) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v4) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v5))
      [AgdaAny]
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.foldr₁
d_foldr'8321'_160 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny
d_foldr'8321'_160 :: ()
-> ()
-> (AgdaAny -> AgdaAny -> AgdaAny)
-> T_List'8314'_22
-> AgdaAny
d_foldr'8321'_160 ~()
v0 ~()
v1 AgdaAny -> AgdaAny -> AgdaAny
v2 = (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny
du_foldr'8321'_160 AgdaAny -> AgdaAny -> AgdaAny
v2
du_foldr'8321'_160 ::
  (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny
du_foldr'8321'_160 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny
du_foldr'8321'_160 AgdaAny -> AgdaAny -> AgdaAny
v0
  = ((AgdaAny -> AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny)
-> AgdaAny -> AgdaAny -> T_List'8314'_22 -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny
du_foldr_132 ((AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> AgdaAny
v0) ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v1 -> AgdaAny
v1))
-- Data.List.NonEmpty.Base.foldl
d_foldl_164 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny
d_foldl_164 :: ()
-> ()
-> ()
-> ()
-> (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny)
-> T_List'8314'_22
-> AgdaAny
d_foldl_164 ~()
v0 ~()
v1 ~()
v2 ~()
v3 AgdaAny -> AgdaAny -> AgdaAny
v4 AgdaAny -> AgdaAny
v5 T_List'8314'_22
v6 = (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny
du_foldl_164 AgdaAny -> AgdaAny -> AgdaAny
v4 AgdaAny -> AgdaAny
v5 T_List'8314'_22
v6
du_foldl_164 ::
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny
du_foldl_164 :: (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny
du_foldl_164 AgdaAny -> AgdaAny -> AgdaAny
v0 AgdaAny -> AgdaAny
v1 T_List'8314'_22
v2
  = case T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe T_List'8314'_22
v2 of
      C__'8759'__34 AgdaAny
v3 [AgdaAny]
v4
        -> ((AgdaAny -> AgdaAny -> AgdaAny)
 -> AgdaAny -> [AgdaAny] -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
             (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
MAlonzo.Code.Data.List.Base.du_foldl_230 ((AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> AgdaAny
v0) ((AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny
v1 AgdaAny
v3)
             ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v4)
      T_List'8314'_22
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.foldl₁
d_foldl'8321'_174 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny
d_foldl'8321'_174 :: ()
-> ()
-> (AgdaAny -> AgdaAny -> AgdaAny)
-> T_List'8314'_22
-> AgdaAny
d_foldl'8321'_174 ~()
v0 ~()
v1 AgdaAny -> AgdaAny -> AgdaAny
v2 = (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny
du_foldl'8321'_174 AgdaAny -> AgdaAny -> AgdaAny
v2
du_foldl'8321'_174 ::
  (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny
du_foldl'8321'_174 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny
du_foldl'8321'_174 AgdaAny -> AgdaAny -> AgdaAny
v0
  = ((AgdaAny -> AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny)
-> AgdaAny -> AgdaAny -> T_List'8314'_22 -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny
du_foldl_164 ((AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> AgdaAny
v0) ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v1 -> AgdaAny
v1))
-- Data.List.NonEmpty.Base._⁺++⁺_
d__'8314''43''43''8314'__178 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
d__'8314''43''43''8314'__178 :: () -> () -> T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
d__'8314''43''43''8314'__178 ~()
v0 ~()
v1 T_List'8314'_22
v2 T_List'8314'_22
v3
  = T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
du__'8314''43''43''8314'__178 T_List'8314'_22
v2 T_List'8314'_22
v3
du__'8314''43''43''8314'__178 ::
  T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
du__'8314''43''43''8314'__178 :: T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
du__'8314''43''43''8314'__178 T_List'8314'_22
v0 T_List'8314'_22
v1
  = case T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe T_List'8314'_22
v0 of
      C__'8759'__34 AgdaAny
v2 [AgdaAny]
v3
        -> case T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe T_List'8314'_22
v1 of
             C__'8759'__34 AgdaAny
v4 [AgdaAny]
v5
               -> (AgdaAny -> [AgdaAny] -> T_List'8314'_22)
-> AgdaAny -> AgdaAny -> T_List'8314'_22
forall a b. a -> b
coe
                    AgdaAny -> [AgdaAny] -> T_List'8314'_22
C__'8759'__34 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v2)
                    (([AgdaAny] -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                       [AgdaAny] -> [AgdaAny] -> [AgdaAny]
MAlonzo.Code.Data.List.Base.du__'43''43'__32 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3)
                       ((AgdaAny -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                          AgdaAny -> [AgdaAny] -> [AgdaAny]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v4) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v5)))
             T_List'8314'_22
_ -> T_List'8314'_22
forall a. a
MAlonzo.RTE.mazUnreachableError
      T_List'8314'_22
_ -> T_List'8314'_22
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base._⁺++_
d__'8314''43''43'__188 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_22 -> [AgdaAny] -> T_List'8314'_22
d__'8314''43''43'__188 :: () -> () -> T_List'8314'_22 -> [AgdaAny] -> T_List'8314'_22
d__'8314''43''43'__188 ~()
v0 ~()
v1 T_List'8314'_22
v2 [AgdaAny]
v3
  = T_List'8314'_22 -> [AgdaAny] -> T_List'8314'_22
du__'8314''43''43'__188 T_List'8314'_22
v2 [AgdaAny]
v3
du__'8314''43''43'__188 ::
  T_List'8314'_22 -> [AgdaAny] -> T_List'8314'_22
du__'8314''43''43'__188 :: T_List'8314'_22 -> [AgdaAny] -> T_List'8314'_22
du__'8314''43''43'__188 T_List'8314'_22
v0 [AgdaAny]
v1
  = case T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe T_List'8314'_22
v0 of
      C__'8759'__34 AgdaAny
v2 [AgdaAny]
v3
        -> (AgdaAny -> [AgdaAny] -> T_List'8314'_22)
-> AgdaAny -> AgdaAny -> T_List'8314'_22
forall a b. a -> b
coe
             AgdaAny -> [AgdaAny] -> T_List'8314'_22
C__'8759'__34 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v2)
             (([AgdaAny] -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                [AgdaAny] -> [AgdaAny] -> [AgdaAny]
MAlonzo.Code.Data.List.Base.du__'43''43'__32 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v1))
      T_List'8314'_22
_ -> T_List'8314'_22
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base._++⁺_
d__'43''43''8314'__196 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> T_List'8314'_22 -> T_List'8314'_22
d__'43''43''8314'__196 :: () -> () -> [AgdaAny] -> T_List'8314'_22 -> T_List'8314'_22
d__'43''43''8314'__196 ~()
v0 ~()
v1 [AgdaAny]
v2 T_List'8314'_22
v3
  = [AgdaAny] -> T_List'8314'_22 -> T_List'8314'_22
du__'43''43''8314'__196 [AgdaAny]
v2 T_List'8314'_22
v3
du__'43''43''8314'__196 ::
  [AgdaAny] -> T_List'8314'_22 -> T_List'8314'_22
du__'43''43''8314'__196 :: [AgdaAny] -> T_List'8314'_22 -> T_List'8314'_22
du__'43''43''8314'__196 [AgdaAny]
v0 T_List'8314'_22
v1
  = ((AgdaAny -> AgdaAny -> AgdaAny)
 -> AgdaAny -> [AgdaAny] -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny -> T_List'8314'_22
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
MAlonzo.Code.Data.List.Base.du_foldr_216 ((AgdaAny -> T_List'8314'_22 -> T_List'8314'_22) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_List'8314'_22 -> T_List'8314'_22
du__'8759''8314'__46)
      (T_List'8314'_22 -> AgdaAny
forall a b. a -> b
coe T_List'8314'_22
v1) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v0)
-- Data.List.NonEmpty.Base.concat
d_concat_202 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_22 -> T_List'8314'_22
d_concat_202 :: () -> () -> T_List'8314'_22 -> T_List'8314'_22
d_concat_202 ~()
v0 ~()
v1 T_List'8314'_22
v2 = T_List'8314'_22 -> T_List'8314'_22
du_concat_202 T_List'8314'_22
v2
du_concat_202 :: T_List'8314'_22 -> T_List'8314'_22
du_concat_202 :: T_List'8314'_22 -> T_List'8314'_22
du_concat_202 T_List'8314'_22
v0
  = case T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe T_List'8314'_22
v0 of
      C__'8759'__34 AgdaAny
v1 [AgdaAny]
v2
        -> (T_List'8314'_22 -> [AgdaAny] -> T_List'8314'_22)
-> AgdaAny -> AgdaAny -> T_List'8314'_22
forall a b. a -> b
coe
             T_List'8314'_22 -> [AgdaAny] -> T_List'8314'_22
du__'8314''43''43'__188 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1)
             (([[AgdaAny]] -> [AgdaAny]) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                [[AgdaAny]] -> [AgdaAny]
MAlonzo.Code.Data.List.Base.du_concat_244
                (((AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                   (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny]
MAlonzo.Code.Data.List.Base.du_map_22 ((T_List'8314'_22 -> [AgdaAny]) -> AgdaAny
forall a b. a -> b
coe T_List'8314'_22 -> [AgdaAny]
du_toList_60) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v2)))
      T_List'8314'_22
_ -> T_List'8314'_22
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.concatMap
d_concatMap_208 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> T_List'8314'_22) -> T_List'8314'_22 -> T_List'8314'_22
d_concatMap_208 :: ()
-> ()
-> ()
-> ()
-> (AgdaAny -> T_List'8314'_22)
-> T_List'8314'_22
-> T_List'8314'_22
d_concatMap_208 ~()
v0 ~()
v1 ~()
v2 ~()
v3 AgdaAny -> T_List'8314'_22
v4 = (AgdaAny -> T_List'8314'_22) -> T_List'8314'_22 -> T_List'8314'_22
du_concatMap_208 AgdaAny -> T_List'8314'_22
v4
du_concatMap_208 ::
  (AgdaAny -> T_List'8314'_22) -> T_List'8314'_22 -> T_List'8314'_22
du_concatMap_208 :: (AgdaAny -> T_List'8314'_22) -> T_List'8314'_22 -> T_List'8314'_22
du_concatMap_208 AgdaAny -> T_List'8314'_22
v0
  = ((AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny)
-> AgdaAny -> AgdaAny -> T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
MAlonzo.Code.Function.Base.du__'8728''8242'__216
      ((T_List'8314'_22 -> T_List'8314'_22) -> AgdaAny
forall a b. a -> b
coe T_List'8314'_22 -> T_List'8314'_22
du_concat_202) (((AgdaAny -> AgdaAny) -> T_List'8314'_22 -> T_List'8314'_22)
-> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> T_List'8314'_22
du_map_98 ((AgdaAny -> T_List'8314'_22) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_List'8314'_22
v0))
-- Data.List.NonEmpty.Base.ap
d_ap_212 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
d_ap_212 :: ()
-> ()
-> ()
-> ()
-> T_List'8314'_22
-> T_List'8314'_22
-> T_List'8314'_22
d_ap_212 ~()
v0 ~()
v1 ~()
v2 ~()
v3 T_List'8314'_22
v4 T_List'8314'_22
v5 = T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
du_ap_212 T_List'8314'_22
v4 T_List'8314'_22
v5
du_ap_212 :: T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
du_ap_212 :: T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
du_ap_212 T_List'8314'_22
v0 T_List'8314'_22
v1
  = ((AgdaAny -> T_List'8314'_22)
 -> T_List'8314'_22 -> T_List'8314'_22)
-> (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe (AgdaAny -> T_List'8314'_22) -> T_List'8314'_22 -> T_List'8314'_22
du_concatMap_208 (\ AgdaAny
v2 -> ((AgdaAny -> AgdaAny) -> T_List'8314'_22 -> T_List'8314'_22)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> T_List'8314'_22
du_map_98 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v2) (T_List'8314'_22 -> AgdaAny
forall a b. a -> b
coe T_List'8314'_22
v1)) T_List'8314'_22
v0
-- Data.List.NonEmpty.Base.inits
d_inits_220 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> T_List'8314'_22
d_inits_220 :: () -> () -> [AgdaAny] -> T_List'8314'_22
d_inits_220 ~()
v0 ~()
v1 [AgdaAny]
v2 = [AgdaAny] -> T_List'8314'_22
du_inits_220 [AgdaAny]
v2
du_inits_220 :: [AgdaAny] -> T_List'8314'_22
du_inits_220 :: [AgdaAny] -> T_List'8314'_22
du_inits_220 [AgdaAny]
v0
  = (AgdaAny -> [AgdaAny] -> T_List'8314'_22)
-> AgdaAny -> AgdaAny -> T_List'8314'_22
forall a b. a -> b
coe
      AgdaAny -> [AgdaAny] -> T_List'8314'_22
C__'8759'__34 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16)
      (([AgdaAny] -> [[AgdaAny]]) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe [AgdaAny] -> [[AgdaAny]]
MAlonzo.Code.Data.List.Base.du_tail_320 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v0))
-- Data.List.NonEmpty.Base.tails
d_tails_224 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> T_List'8314'_22
d_tails_224 :: () -> () -> [AgdaAny] -> T_List'8314'_22
d_tails_224 ~()
v0 ~()
v1 [AgdaAny]
v2 = [AgdaAny] -> T_List'8314'_22
du_tails_224 [AgdaAny]
v2
du_tails_224 :: [AgdaAny] -> T_List'8314'_22
du_tails_224 :: [AgdaAny] -> T_List'8314'_22
du_tails_224 [AgdaAny]
v0
  = (AgdaAny -> [AgdaAny] -> T_List'8314'_22)
-> AgdaAny -> AgdaAny -> T_List'8314'_22
forall a b. a -> b
coe
      AgdaAny -> [AgdaAny] -> T_List'8314'_22
C__'8759'__34 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v0)
      (([AgdaAny] -> [[AgdaAny]]) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe [AgdaAny] -> [[AgdaAny]]
MAlonzo.Code.Data.List.Base.du_tail_336 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v0))
-- Data.List.NonEmpty.Base.reverse
d_reverse_228 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_22 -> T_List'8314'_22
d_reverse_228 :: () -> () -> T_List'8314'_22 -> T_List'8314'_22
d_reverse_228 ~()
v0 ~()
v1 = T_List'8314'_22 -> T_List'8314'_22
du_reverse_228
du_reverse_228 :: T_List'8314'_22 -> T_List'8314'_22
du_reverse_228 :: T_List'8314'_22 -> T_List'8314'_22
du_reverse_228
  = ((Integer -> T_Vec_28 -> T_Σ_14)
 -> T_List'8314'_22 -> T_List'8314'_22)
-> AgdaAny -> T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe
      (Integer -> T_Vec_28 -> T_Σ_14)
-> T_List'8314'_22 -> T_List'8314'_22
du_lift_92
      ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe
         (\ AgdaAny
v0 ->
            ((AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
              (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
MAlonzo.Code.Function.Base.du__'8728''8242'__216
              ((AgdaAny -> AgdaAny -> T_Σ_14) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> T_Σ_14
MAlonzo.Code.Data.Product.Base.du_'45''44'__92 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v0))
              ((T_Vec_28 -> T_Vec_28) -> AgdaAny
forall a b. a -> b
coe T_Vec_28 -> T_Vec_28
MAlonzo.Code.Data.Vec.Base.du_reverse_616)))
-- Data.List.NonEmpty.Base.alignWith
d_alignWith_230 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (MAlonzo.Code.Data.These.Base.T_These_38 -> AgdaAny) ->
  T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
d_alignWith_230 :: ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> (T_These_38 -> AgdaAny)
-> T_List'8314'_22
-> T_List'8314'_22
-> T_List'8314'_22
d_alignWith_230 ~()
v0 ~()
v1 ~()
v2 ~()
v3 ~()
v4 ~()
v5 T_These_38 -> AgdaAny
v6 T_List'8314'_22
v7 T_List'8314'_22
v8
  = (T_These_38 -> AgdaAny)
-> T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
du_alignWith_230 T_These_38 -> AgdaAny
v6 T_List'8314'_22
v7 T_List'8314'_22
v8
du_alignWith_230 ::
  (MAlonzo.Code.Data.These.Base.T_These_38 -> AgdaAny) ->
  T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
du_alignWith_230 :: (T_These_38 -> AgdaAny)
-> T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
du_alignWith_230 T_These_38 -> AgdaAny
v0 T_List'8314'_22
v1 T_List'8314'_22
v2
  = case T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe T_List'8314'_22
v1 of
      C__'8759'__34 AgdaAny
v3 [AgdaAny]
v4
        -> case T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe T_List'8314'_22
v2 of
             C__'8759'__34 AgdaAny
v5 [AgdaAny]
v6
               -> (AgdaAny -> [AgdaAny] -> T_List'8314'_22)
-> AgdaAny -> AgdaAny -> T_List'8314'_22
forall a b. a -> b
coe
                    AgdaAny -> [AgdaAny] -> T_List'8314'_22
C__'8759'__34
                    ((T_These_38 -> AgdaAny) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                       T_These_38 -> AgdaAny
v0 ((AgdaAny -> AgdaAny -> T_These_38) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> T_These_38
MAlonzo.Code.Data.These.Base.C_these_52 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v3) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v5)))
                    (((T_These_38 -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                       (T_These_38 -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
MAlonzo.Code.Data.List.Base.du_alignWith_84 ((T_These_38 -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe T_These_38 -> AgdaAny
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v4)
                       ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v6))
             T_List'8314'_22
_ -> T_List'8314'_22
forall a. a
MAlonzo.RTE.mazUnreachableError
      T_List'8314'_22
_ -> T_List'8314'_22
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.zipWith
d_zipWith_242 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
d_zipWith_242 :: ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> (AgdaAny -> AgdaAny -> AgdaAny)
-> T_List'8314'_22
-> T_List'8314'_22
-> T_List'8314'_22
d_zipWith_242 ~()
v0 ~()
v1 ~()
v2 ~()
v3 ~()
v4 ~()
v5 AgdaAny -> AgdaAny -> AgdaAny
v6 T_List'8314'_22
v7 T_List'8314'_22
v8
  = (AgdaAny -> AgdaAny -> AgdaAny)
-> T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
du_zipWith_242 AgdaAny -> AgdaAny -> AgdaAny
v6 T_List'8314'_22
v7 T_List'8314'_22
v8
du_zipWith_242 ::
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
du_zipWith_242 :: (AgdaAny -> AgdaAny -> AgdaAny)
-> T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
du_zipWith_242 AgdaAny -> AgdaAny -> AgdaAny
v0 T_List'8314'_22
v1 T_List'8314'_22
v2
  = case T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe T_List'8314'_22
v1 of
      C__'8759'__34 AgdaAny
v3 [AgdaAny]
v4
        -> case T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe T_List'8314'_22
v2 of
             C__'8759'__34 AgdaAny
v5 [AgdaAny]
v6
               -> (AgdaAny -> [AgdaAny] -> T_List'8314'_22)
-> AgdaAny -> AgdaAny -> T_List'8314'_22
forall a b. a -> b
coe
                    AgdaAny -> [AgdaAny] -> T_List'8314'_22
C__'8759'__34 ((AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> AgdaAny
v0 AgdaAny
v3 AgdaAny
v5)
                    (((AgdaAny -> AgdaAny -> AgdaAny)
 -> [AgdaAny] -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                       (AgdaAny -> AgdaAny -> AgdaAny)
-> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
MAlonzo.Code.Data.List.Base.du_zipWith_104 ((AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> AgdaAny
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v4)
                       ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v6))
             T_List'8314'_22
_ -> T_List'8314'_22
forall a. a
MAlonzo.RTE.mazUnreachableError
      T_List'8314'_22
_ -> T_List'8314'_22
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.unalignWith
d_unalignWith_254 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> MAlonzo.Code.Data.These.Base.T_These_38) ->
  T_List'8314'_22 -> MAlonzo.Code.Data.These.Base.T_These_38
d_unalignWith_254 :: ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> (AgdaAny -> T_These_38)
-> T_List'8314'_22
-> T_These_38
d_unalignWith_254 ~()
v0 ~()
v1 ~()
v2 ~()
v3 ~()
v4 ~()
v5 AgdaAny -> T_These_38
v6
  = (AgdaAny -> T_These_38) -> T_List'8314'_22 -> T_These_38
du_unalignWith_254 AgdaAny -> T_These_38
v6
du_unalignWith_254 ::
  (AgdaAny -> MAlonzo.Code.Data.These.Base.T_These_38) ->
  T_List'8314'_22 -> MAlonzo.Code.Data.These.Base.T_These_38
du_unalignWith_254 :: (AgdaAny -> T_These_38) -> T_List'8314'_22 -> T_These_38
du_unalignWith_254 AgdaAny -> T_These_38
v0
  = ((AgdaAny -> AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny)
-> AgdaAny -> AgdaAny -> T_List'8314'_22 -> T_These_38
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> T_List'8314'_22 -> AgdaAny
du_foldr_132
      (((AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
         (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
MAlonzo.Code.Function.Base.du__'8728''8242'__216
         (((T_These_38 -> AgdaAny)
 -> (T_These_38 -> AgdaAny)
 -> T_These_38
 -> T_These_38
 -> T_These_38)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
            (T_These_38 -> AgdaAny)
-> (T_These_38 -> AgdaAny)
-> T_These_38
-> T_These_38
-> T_These_38
MAlonzo.Code.Data.These.Base.du_alignWith_130 ((T_These_38 -> T_List'8314'_22) -> AgdaAny
forall a b. a -> b
coe T_These_38 -> T_List'8314'_22
du_mcons_266)
            ((T_These_38 -> T_List'8314'_22) -> AgdaAny
forall a b. a -> b
coe T_These_38 -> T_List'8314'_22
du_mcons_266))
         ((AgdaAny -> T_These_38) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_These_38
v0))
      (((AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
         (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
MAlonzo.Code.Function.Base.du__'8728''8242'__216
         (((AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny) -> T_These_38 -> T_These_38)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
            (AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> T_These_38 -> T_These_38
MAlonzo.Code.Data.These.Base.du_map_60 ((AgdaAny -> T_List'8314'_22) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_List'8314'_22
du_'91'_'93'_42)
            ((AgdaAny -> T_List'8314'_22) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_List'8314'_22
du_'91'_'93'_42))
         ((AgdaAny -> T_These_38) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_These_38
v0))
-- Data.List.NonEmpty.Base._.mcons
d_mcons_266 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> MAlonzo.Code.Data.These.Base.T_These_38) ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> MAlonzo.Code.Data.These.Base.T_These_38 -> T_List'8314'_22
d_mcons_266 :: ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> (AgdaAny -> T_These_38)
-> ()
-> ()
-> T_These_38
-> T_List'8314'_22
d_mcons_266 ~()
v0 ~()
v1 ~()
v2 ~()
v3 ~()
v4 ~()
v5 ~AgdaAny -> T_These_38
v6 ~()
v7 ~()
v8 = T_These_38 -> T_List'8314'_22
du_mcons_266
du_mcons_266 ::
  MAlonzo.Code.Data.These.Base.T_These_38 -> T_List'8314'_22
du_mcons_266 :: T_These_38 -> T_List'8314'_22
du_mcons_266
  = ((AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny -> AgdaAny)
 -> T_These_38
 -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny -> T_These_38 -> T_List'8314'_22
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny -> AgdaAny)
-> T_These_38
-> AgdaAny
MAlonzo.Code.Data.These.Base.du_fold_92 ((AgdaAny -> T_List'8314'_22) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_List'8314'_22
du_'91'_'93'_42)
      ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v0 -> AgdaAny
v0)) ((AgdaAny -> T_List'8314'_22 -> T_List'8314'_22) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_List'8314'_22 -> T_List'8314'_22
du__'8759''8314'__46)
-- Data.List.NonEmpty.Base.unzipWith
d_unzipWith_268 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14) ->
  T_List'8314'_22 -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
d_unzipWith_268 :: ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> (AgdaAny -> T_Σ_14)
-> T_List'8314'_22
-> T_Σ_14
d_unzipWith_268 ~()
v0 ~()
v1 ~()
v2 ~()
v3 ~()
v4 ~()
v5 AgdaAny -> T_Σ_14
v6 T_List'8314'_22
v7
  = (AgdaAny -> T_Σ_14) -> T_List'8314'_22 -> T_Σ_14
du_unzipWith_268 AgdaAny -> T_Σ_14
v6 T_List'8314'_22
v7
du_unzipWith_268 ::
  (AgdaAny -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14) ->
  T_List'8314'_22 -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
du_unzipWith_268 :: (AgdaAny -> T_Σ_14) -> T_List'8314'_22 -> T_Σ_14
du_unzipWith_268 AgdaAny -> T_Σ_14
v0 T_List'8314'_22
v1
  = case T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe T_List'8314'_22
v1 of
      C__'8759'__34 AgdaAny
v2 [AgdaAny]
v3
        -> ((AgdaAny -> AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny)
 -> T_Σ_14
 -> T_Σ_14
 -> T_Σ_14)
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> T_Σ_14
forall a b. a -> b
coe
             (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny)
-> T_Σ_14
-> T_Σ_14
-> T_Σ_14
MAlonzo.Code.Data.Product.Base.du_zip_198 ((AgdaAny -> [AgdaAny] -> T_List'8314'_22) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> [AgdaAny] -> T_List'8314'_22
C__'8759'__34)
             ((AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v4 AgdaAny
v5 -> (AgdaAny -> [AgdaAny] -> T_List'8314'_22) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> [AgdaAny] -> T_List'8314'_22
C__'8759'__34)) ((AgdaAny -> T_Σ_14) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_Σ_14
v0 AgdaAny
v2)
             (((AgdaAny -> T_Σ_14) -> [AgdaAny] -> T_Σ_14)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                (AgdaAny -> T_Σ_14) -> [AgdaAny] -> T_Σ_14
MAlonzo.Code.Data.List.Base.du_unzipWith_166 ((AgdaAny -> T_Σ_14) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_Σ_14
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3))
      T_List'8314'_22
_ -> T_Σ_14
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.align
d_align_276 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
d_align_276 :: ()
-> ()
-> ()
-> ()
-> T_List'8314'_22
-> T_List'8314'_22
-> T_List'8314'_22
d_align_276 ~()
v0 ~()
v1 ~()
v2 ~()
v3 = T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
du_align_276
du_align_276 ::
  T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
du_align_276 :: T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
du_align_276 = ((T_These_38 -> AgdaAny)
 -> T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22)
-> AgdaAny -> T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe (T_These_38 -> AgdaAny)
-> T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
du_alignWith_230 ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v0 -> AgdaAny
v0))
-- Data.List.NonEmpty.Base.zip
d_zip_278 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
d_zip_278 :: ()
-> ()
-> ()
-> ()
-> T_List'8314'_22
-> T_List'8314'_22
-> T_List'8314'_22
d_zip_278 ~()
v0 ~()
v1 ~()
v2 ~()
v3 = T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
du_zip_278
du_zip_278 :: T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
du_zip_278 :: T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
du_zip_278
  = ((AgdaAny -> AgdaAny -> AgdaAny)
 -> T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22)
-> AgdaAny -> T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny -> AgdaAny)
-> T_List'8314'_22 -> T_List'8314'_22 -> T_List'8314'_22
du_zipWith_242 ((AgdaAny -> AgdaAny -> T_Σ_14) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> T_Σ_14
MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32)
-- Data.List.NonEmpty.Base.unalign
d_unalign_280 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_22 -> MAlonzo.Code.Data.These.Base.T_These_38
d_unalign_280 :: () -> () -> () -> () -> T_List'8314'_22 -> T_These_38
d_unalign_280 ~()
v0 ~()
v1 ~()
v2 ~()
v3 = T_List'8314'_22 -> T_These_38
du_unalign_280
du_unalign_280 ::
  T_List'8314'_22 -> MAlonzo.Code.Data.These.Base.T_These_38
du_unalign_280 :: T_List'8314'_22 -> T_These_38
du_unalign_280 = ((AgdaAny -> T_These_38) -> T_List'8314'_22 -> T_These_38)
-> AgdaAny -> T_List'8314'_22 -> T_These_38
forall a b. a -> b
coe (AgdaAny -> T_These_38) -> T_List'8314'_22 -> T_These_38
du_unalignWith_254 ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v0 -> AgdaAny
v0))
-- Data.List.NonEmpty.Base.unzip
d_unzip_282 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_22 -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
d_unzip_282 :: () -> () -> () -> () -> T_List'8314'_22 -> T_Σ_14
d_unzip_282 ~()
v0 ~()
v1 ~()
v2 ~()
v3 = T_List'8314'_22 -> T_Σ_14
du_unzip_282
du_unzip_282 ::
  T_List'8314'_22 -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
du_unzip_282 :: T_List'8314'_22 -> T_Σ_14
du_unzip_282 = ((AgdaAny -> T_Σ_14) -> T_List'8314'_22 -> T_Σ_14)
-> AgdaAny -> T_List'8314'_22 -> T_Σ_14
forall a b. a -> b
coe (AgdaAny -> T_Σ_14) -> T_List'8314'_22 -> T_Σ_14
du_unzipWith_268 ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v0 -> AgdaAny
v0))
-- Data.List.NonEmpty.Base._∷ʳ_
d__'8759''691'__284 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> AgdaAny -> T_List'8314'_22
d__'8759''691'__284 :: () -> () -> [AgdaAny] -> AgdaAny -> T_List'8314'_22
d__'8759''691'__284 ~()
v0 ~()
v1 [AgdaAny]
v2 AgdaAny
v3 = [AgdaAny] -> AgdaAny -> T_List'8314'_22
du__'8759''691'__284 [AgdaAny]
v2 AgdaAny
v3
du__'8759''691'__284 :: [AgdaAny] -> AgdaAny -> T_List'8314'_22
du__'8759''691'__284 :: [AgdaAny] -> AgdaAny -> T_List'8314'_22
du__'8759''691'__284 [AgdaAny]
v0 AgdaAny
v1
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v0 of
      [] -> (AgdaAny -> T_List'8314'_22) -> AgdaAny -> T_List'8314'_22
forall a b. a -> b
coe AgdaAny -> T_List'8314'_22
du_'91'_'93'_42 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1)
      (:) AgdaAny
v2 [AgdaAny]
v3
        -> (AgdaAny -> [AgdaAny] -> T_List'8314'_22)
-> AgdaAny -> AgdaAny -> T_List'8314'_22
forall a b. a -> b
coe
             AgdaAny -> [AgdaAny] -> T_List'8314'_22
C__'8759'__34 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v2)
             (([AgdaAny] -> AgdaAny -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                [AgdaAny] -> AgdaAny -> [AgdaAny]
MAlonzo.Code.Data.List.Base.du__'8759''691'__464 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1))
      [AgdaAny]
_ -> T_List'8314'_22
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base._⁺∷ʳ_
d__'8314''8759''691'__294 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_22 -> AgdaAny -> T_List'8314'_22
d__'8314''8759''691'__294 :: () -> () -> T_List'8314'_22 -> AgdaAny -> T_List'8314'_22
d__'8314''8759''691'__294 ~()
v0 ~()
v1 T_List'8314'_22
v2 AgdaAny
v3
  = T_List'8314'_22 -> AgdaAny -> T_List'8314'_22
du__'8314''8759''691'__294 T_List'8314'_22
v2 AgdaAny
v3
du__'8314''8759''691'__294 ::
  T_List'8314'_22 -> AgdaAny -> T_List'8314'_22
du__'8314''8759''691'__294 :: T_List'8314'_22 -> AgdaAny -> T_List'8314'_22
du__'8314''8759''691'__294 T_List'8314'_22
v0 AgdaAny
v1
  = ([AgdaAny] -> AgdaAny -> T_List'8314'_22)
-> AgdaAny -> AgdaAny -> T_List'8314'_22
forall a b. a -> b
coe [AgdaAny] -> AgdaAny -> T_List'8314'_22
du__'8759''691'__284 ((T_List'8314'_22 -> [AgdaAny]) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_List'8314'_22 -> [AgdaAny]
du_toList_60 (T_List'8314'_22 -> AgdaAny
forall a b. a -> b
coe T_List'8314'_22
v0)) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1)
-- Data.List.NonEmpty.Base.SnocView
d_SnocView_304 :: p -> p -> p -> ()
d_SnocView_304 p
a0 p
a1 p
a2 = ()
data T_SnocView_304 = C__'8759''691''8242'__312 [AgdaAny] AgdaAny
-- Data.List.NonEmpty.Base.snocView
d_snocView_316 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_22 -> T_SnocView_304
d_snocView_316 :: () -> () -> T_List'8314'_22 -> T_SnocView_304
d_snocView_316 ~()
v0 ~()
v1 T_List'8314'_22
v2 = T_List'8314'_22 -> T_SnocView_304
du_snocView_316 T_List'8314'_22
v2
du_snocView_316 :: T_List'8314'_22 -> T_SnocView_304
du_snocView_316 :: T_List'8314'_22 -> T_SnocView_304
du_snocView_316 T_List'8314'_22
v0
  = case T_List'8314'_22 -> T_List'8314'_22
forall a b. a -> b
coe T_List'8314'_22
v0 of
      C__'8759'__34 AgdaAny
v1 [AgdaAny]
v2
        -> let v3 :: t
v3
                 = ([AgdaAny] -> T_InitLast_474) -> AgdaAny -> t
forall a b. a -> b
coe [AgdaAny] -> T_InitLast_474
MAlonzo.Code.Data.List.Base.du_initLast_488 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v2) in
           AgdaAny -> T_SnocView_304
forall a b. a -> b
coe
             (case AgdaAny -> T_InitLast_474
forall a b. a -> b
coe AgdaAny
forall a. a
v3 of
                T_InitLast_474
MAlonzo.Code.Data.List.Base.C_'91''93'_478
                  -> ([AgdaAny] -> AgdaAny -> T_SnocView_304)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                       [AgdaAny] -> AgdaAny -> T_SnocView_304
C__'8759''691''8242'__312
                       ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1)
                MAlonzo.Code.Data.List.Base.C__'8759''691''8242'__484 [AgdaAny]
v4 AgdaAny
v5
                  -> ([AgdaAny] -> AgdaAny -> T_SnocView_304)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                       [AgdaAny] -> AgdaAny -> T_SnocView_304
C__'8759''691''8242'__312
                       ((AgdaAny -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                          AgdaAny -> [AgdaAny] -> [AgdaAny]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v4))
                       (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v5)
                T_InitLast_474
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError)
      T_List'8314'_22
_ -> T_SnocView_304
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.last′
d_last'8242'_336 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_22 -> T_SnocView_304 -> AgdaAny
d_last'8242'_336 :: () -> () -> T_List'8314'_22 -> T_SnocView_304 -> AgdaAny
d_last'8242'_336 ~()
v0 ~()
v1 ~T_List'8314'_22
v2 T_SnocView_304
v3 = T_SnocView_304 -> AgdaAny
du_last'8242'_336 T_SnocView_304
v3
du_last'8242'_336 :: T_SnocView_304 -> AgdaAny
du_last'8242'_336 :: T_SnocView_304 -> AgdaAny
du_last'8242'_336 T_SnocView_304
v0
  = case T_SnocView_304 -> T_SnocView_304
forall a b. a -> b
coe T_SnocView_304
v0 of
      C__'8759''691''8242'__312 [AgdaAny]
v1 AgdaAny
v2 -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v2
      T_SnocView_304
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.last
d_last_340 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_22 -> AgdaAny
d_last_340 :: () -> () -> T_List'8314'_22 -> AgdaAny
d_last_340 ~()
v0 ~()
v1 T_List'8314'_22
v2 = T_List'8314'_22 -> AgdaAny
du_last_340 T_List'8314'_22
v2
du_last_340 :: T_List'8314'_22 -> AgdaAny
du_last_340 :: T_List'8314'_22 -> AgdaAny
du_last_340 T_List'8314'_22
v0
  = (T_SnocView_304 -> AgdaAny) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_SnocView_304 -> AgdaAny
du_last'8242'_336 ((T_List'8314'_22 -> T_SnocView_304) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_List'8314'_22 -> T_SnocView_304
du_snocView_316 (T_List'8314'_22 -> AgdaAny
forall a b. a -> b
coe T_List'8314'_22
v0))
-- Data.List.NonEmpty.Base.groupSeqsᵇ
d_groupSeqs'7495'_342 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> Bool) ->
  [AgdaAny] -> [MAlonzo.Code.Data.Sum.Base.T__'8846'__30]
d_groupSeqs'7495'_342 :: () -> () -> (AgdaAny -> Bool) -> [AgdaAny] -> [T__'8846'__30]
d_groupSeqs'7495'_342 ~()
v0 ~()
v1 AgdaAny -> Bool
v2 [AgdaAny]
v3 = (AgdaAny -> Bool) -> [AgdaAny] -> [T__'8846'__30]
du_groupSeqs'7495'_342 AgdaAny -> Bool
v2 [AgdaAny]
v3
du_groupSeqs'7495'_342 ::
  (AgdaAny -> Bool) ->
  [AgdaAny] -> [MAlonzo.Code.Data.Sum.Base.T__'8846'__30]
du_groupSeqs'7495'_342 :: (AgdaAny -> Bool) -> [AgdaAny] -> [T__'8846'__30]
du_groupSeqs'7495'_342 AgdaAny -> Bool
v0 [AgdaAny]
v1
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1 of
      [] -> [AgdaAny] -> [T__'8846'__30]
forall a b. a -> b
coe [AgdaAny]
v1
      (:) AgdaAny
v2 [AgdaAny]
v3
        -> let v4 :: t
v4 = (AgdaAny -> Bool) -> AgdaAny -> t
forall a b. a -> b
coe AgdaAny -> Bool
v0 AgdaAny
v2 in
           AgdaAny -> [T__'8846'__30]
forall a b. a -> b
coe
             (let v5 :: t
v5 = ((AgdaAny -> Bool) -> [AgdaAny] -> [T__'8846'__30])
-> AgdaAny -> AgdaAny -> t
forall a b. a -> b
coe (AgdaAny -> Bool) -> [AgdaAny] -> [T__'8846'__30]
du_groupSeqs'7495'_342 ((AgdaAny -> Bool) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> Bool
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3) in
              AgdaAny -> AgdaAny
forall a b. a -> b
coe
                (if AgdaAny -> Bool
forall a b. a -> b
coe AgdaAny
forall a. a
v4
                   then let v6 :: t
v6
                              = (AgdaAny -> [AgdaAny] -> [AgdaAny]) -> AgdaAny -> AgdaAny -> t
forall a b. a -> b
coe
                                  AgdaAny -> [AgdaAny] -> [AgdaAny]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
                                  ((AgdaAny -> T__'8846'__30) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                     AgdaAny -> T__'8846'__30
MAlonzo.Code.Data.Sum.Base.C_inj'8321'_38
                                     ((AgdaAny -> T_List'8314'_22) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_List'8314'_22
du_'91'_'93'_42 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v2)))
                                  (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
forall a. a
v5) in
                        AgdaAny -> AgdaAny
forall a b. a -> b
coe
                          (case AgdaAny -> [AgdaAny]
forall a b. a -> b
coe AgdaAny
forall a. a
v5 of
                             (:) AgdaAny
v7 [AgdaAny]
v8
                               -> case AgdaAny -> T__'8846'__30
forall a b. a -> b
coe AgdaAny
v7 of
                                    MAlonzo.Code.Data.Sum.Base.C_inj'8321'_38 AgdaAny
v9
                                      -> (AgdaAny -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                           AgdaAny -> [AgdaAny] -> [AgdaAny]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
                                           ((AgdaAny -> T__'8846'__30) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                              AgdaAny -> T__'8846'__30
MAlonzo.Code.Data.Sum.Base.C_inj'8321'_38
                                              ((AgdaAny -> T_List'8314'_22 -> T_List'8314'_22)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_List'8314'_22 -> T_List'8314'_22
du__'8759''8314'__46 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v2) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v9)))
                                           ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v8)
                                    T__'8846'__30
_ -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
forall a. a
v6
                             [AgdaAny]
_ -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
forall a. a
v6)
                   else (let v6 :: t
v6
                               = (AgdaAny -> [AgdaAny] -> [AgdaAny]) -> AgdaAny -> AgdaAny -> t
forall a b. a -> b
coe
                                   AgdaAny -> [AgdaAny] -> [AgdaAny]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
                                   ((AgdaAny -> T__'8846'__30) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                      AgdaAny -> T__'8846'__30
MAlonzo.Code.Data.Sum.Base.C_inj'8322'_42
                                      ((AgdaAny -> T_List'8314'_22) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_List'8314'_22
du_'91'_'93'_42 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v2)))
                                   (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
forall a. a
v5) in
                         AgdaAny -> AgdaAny
forall a b. a -> b
coe
                           (case AgdaAny -> [AgdaAny]
forall a b. a -> b
coe AgdaAny
forall a. a
v5 of
                              (:) AgdaAny
v7 [AgdaAny]
v8
                                -> case AgdaAny -> T__'8846'__30
forall a b. a -> b
coe AgdaAny
v7 of
                                     MAlonzo.Code.Data.Sum.Base.C_inj'8322'_42 AgdaAny
v9
                                       -> (AgdaAny -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                            AgdaAny -> [AgdaAny] -> [AgdaAny]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22
                                            ((AgdaAny -> T__'8846'__30) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                               AgdaAny -> T__'8846'__30
MAlonzo.Code.Data.Sum.Base.C_inj'8322'_42
                                               ((AgdaAny -> T_List'8314'_22 -> T_List'8314'_22)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_List'8314'_22 -> T_List'8314'_22
du__'8759''8314'__46 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v2) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v9)))
                                            ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v8)
                                     T__'8846'__30
_ -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
forall a. a
v6
                              [AgdaAny]
_ -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
forall a. a
v6))))
      [AgdaAny]
_ -> [T__'8846'__30]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.wordsByᵇ
d_wordsBy'7495'_392 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> (AgdaAny -> Bool) -> [AgdaAny] -> [T_List'8314'_22]
d_wordsBy'7495'_392 :: () -> () -> (AgdaAny -> Bool) -> [AgdaAny] -> [T_List'8314'_22]
d_wordsBy'7495'_392 ~()
v0 ~()
v1 AgdaAny -> Bool
v2 [AgdaAny]
v3 = (AgdaAny -> Bool) -> [AgdaAny] -> [T_List'8314'_22]
du_wordsBy'7495'_392 AgdaAny -> Bool
v2 [AgdaAny]
v3
du_wordsBy'7495'_392 ::
  (AgdaAny -> Bool) -> [AgdaAny] -> [T_List'8314'_22]
du_wordsBy'7495'_392 :: (AgdaAny -> Bool) -> [AgdaAny] -> [T_List'8314'_22]
du_wordsBy'7495'_392 AgdaAny -> Bool
v0 [AgdaAny]
v1
  = ((AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> [T_List'8314'_22]
forall a b. a -> b
coe
      (AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> [AgdaAny]
MAlonzo.Code.Data.List.Base.du_mapMaybe_258
      (((AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
         (AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> AgdaAny
MAlonzo.Code.Data.Sum.Base.du_'91'_'44'_'93'_52
         (let v2 :: b
v2 = Maybe AgdaAny -> b
forall a b. a -> b
coe Maybe AgdaAny
forall {a}. Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18 in
          AgdaAny -> AgdaAny
forall a b. a -> b
coe ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v3 -> AgdaAny
forall a. a
v2)))
         ((AgdaAny -> Maybe AgdaAny) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> Maybe AgdaAny
forall {a}. a -> Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_just_16))
      (((AgdaAny -> Bool) -> [AgdaAny] -> [T__'8846'__30])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> Bool) -> [AgdaAny] -> [T__'8846'__30]
du_groupSeqs'7495'_342 ((AgdaAny -> Bool) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> Bool
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v1))
-- Data.List.NonEmpty.Base.groupSeqs
d_groupSeqs_398 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (AgdaAny -> ()) ->
  (AgdaAny ->
   MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
  [AgdaAny] -> [MAlonzo.Code.Data.Sum.Base.T__'8846'__30]
d_groupSeqs_398 :: ()
-> ()
-> ()
-> (AgdaAny -> ())
-> (AgdaAny -> T_Dec_20)
-> [AgdaAny]
-> [T__'8846'__30]
d_groupSeqs_398 ~()
v0 ~()
v1 ~()
v2 ~AgdaAny -> ()
v3 AgdaAny -> T_Dec_20
v4 = (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [T__'8846'__30]
du_groupSeqs_398 AgdaAny -> T_Dec_20
v4
du_groupSeqs_398 ::
  (AgdaAny ->
   MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
  [AgdaAny] -> [MAlonzo.Code.Data.Sum.Base.T__'8846'__30]
du_groupSeqs_398 :: (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [T__'8846'__30]
du_groupSeqs_398 AgdaAny -> T_Dec_20
v0
  = ((AgdaAny -> Bool) -> [AgdaAny] -> [T__'8846'__30])
-> AgdaAny -> [AgdaAny] -> [T__'8846'__30]
forall a b. a -> b
coe
      (AgdaAny -> Bool) -> [AgdaAny] -> [T__'8846'__30]
du_groupSeqs'7495'_342
      ((AgdaAny -> Bool) -> AgdaAny
forall a b. a -> b
coe
         (\ AgdaAny
v1 ->
            T_Dec_20 -> Bool
MAlonzo.Code.Relation.Nullary.Decidable.Core.d_does_28
              ((AgdaAny -> T_Dec_20) -> AgdaAny -> T_Dec_20
forall a b. a -> b
coe AgdaAny -> T_Dec_20
v0 AgdaAny
v1)))
-- Data.List.NonEmpty.Base.wordsBy
d_wordsBy_404 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (AgdaAny -> ()) ->
  (AgdaAny ->
   MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
  [AgdaAny] -> [T_List'8314'_22]
d_wordsBy_404 :: ()
-> ()
-> ()
-> (AgdaAny -> ())
-> (AgdaAny -> T_Dec_20)
-> [AgdaAny]
-> [T_List'8314'_22]
d_wordsBy_404 ~()
v0 ~()
v1 ~()
v2 ~AgdaAny -> ()
v3 AgdaAny -> T_Dec_20
v4 = (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [T_List'8314'_22]
du_wordsBy_404 AgdaAny -> T_Dec_20
v4
du_wordsBy_404 ::
  (AgdaAny ->
   MAlonzo.Code.Relation.Nullary.Decidable.Core.T_Dec_20) ->
  [AgdaAny] -> [T_List'8314'_22]
du_wordsBy_404 :: (AgdaAny -> T_Dec_20) -> [AgdaAny] -> [T_List'8314'_22]
du_wordsBy_404 AgdaAny -> T_Dec_20
v0
  = ((AgdaAny -> Bool) -> [AgdaAny] -> [T_List'8314'_22])
-> AgdaAny -> [AgdaAny] -> [T_List'8314'_22]
forall a b. a -> b
coe
      (AgdaAny -> Bool) -> [AgdaAny] -> [T_List'8314'_22]
du_wordsBy'7495'_392
      ((AgdaAny -> Bool) -> AgdaAny
forall a b. a -> b
coe
         (\ AgdaAny
v1 ->
            T_Dec_20 -> Bool
MAlonzo.Code.Relation.Nullary.Decidable.Core.d_does_28
              ((AgdaAny -> T_Dec_20) -> AgdaAny -> T_Dec_20
forall a b. a -> b
coe AgdaAny -> T_Dec_20
v0 AgdaAny
v1)))
-- Data.List.NonEmpty.Base.ungroupSeqs
d_ungroupSeqs_408 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [MAlonzo.Code.Data.Sum.Base.T__'8846'__30] -> [AgdaAny]
d_ungroupSeqs_408 :: () -> () -> [T__'8846'__30] -> [AgdaAny]
d_ungroupSeqs_408 ~()
v0 ~()
v1 [T__'8846'__30]
v2 = [T__'8846'__30] -> [AgdaAny]
du_ungroupSeqs_408 [T__'8846'__30]
v2
du_ungroupSeqs_408 ::
  [MAlonzo.Code.Data.Sum.Base.T__'8846'__30] -> [AgdaAny]
du_ungroupSeqs_408 :: [T__'8846'__30] -> [AgdaAny]
du_ungroupSeqs_408 [T__'8846'__30]
v0
  = ([[AgdaAny]] -> [AgdaAny]) -> AgdaAny -> [AgdaAny]
forall a b. a -> b
coe
      [[AgdaAny]] -> [AgdaAny]
MAlonzo.Code.Data.List.Base.du_concat_244
      (((AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
         (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny]
MAlonzo.Code.Data.List.Base.du_map_22
         (((AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
            (AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> T__'8846'__30 -> AgdaAny
MAlonzo.Code.Data.Sum.Base.du_'91'_'44'_'93'_52 ((T_List'8314'_22 -> [AgdaAny]) -> AgdaAny
forall a b. a -> b
coe T_List'8314'_22 -> [AgdaAny]
du_toList_60)
            ((T_List'8314'_22 -> [AgdaAny]) -> AgdaAny
forall a b. a -> b
coe T_List'8314'_22 -> [AgdaAny]
du_toList_60))
         ([T__'8846'__30] -> AgdaAny
forall a b. a -> b
coe [T__'8846'__30]
v0))