{-# 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.Empty
import qualified MAlonzo.Code.Data.List.Base
import qualified MAlonzo.Code.Data.Nat.Base
import qualified MAlonzo.Code.Data.Product
import qualified MAlonzo.Code.Data.These.Base
import qualified MAlonzo.Code.Data.Vec.Base
import qualified MAlonzo.Code.Function.Base

-- Data.List.NonEmpty.Base.List⁺
d_List'8314'_24 :: p -> p -> ()
d_List'8314'_24 p
a0 p
a1 = ()
data T_List'8314'_24 = C__'8759'__36 AgdaAny [AgdaAny]
-- Data.List.NonEmpty.Base.List⁺.head
d_head_32 :: T_List'8314'_24 -> AgdaAny
d_head_32 :: T_List'8314'_24 -> AgdaAny
d_head_32 T_List'8314'_24
v0
  = case T_List'8314'_24 -> T_List'8314'_24
forall a b. a -> b
coe T_List'8314'_24
v0 of
      C__'8759'__36 AgdaAny
v1 [AgdaAny]
v2 -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1
      T_List'8314'_24
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.List⁺.tail
d_tail_34 :: T_List'8314'_24 -> [AgdaAny]
d_tail_34 :: T_List'8314'_24 -> [AgdaAny]
d_tail_34 T_List'8314'_24
v0
  = case T_List'8314'_24 -> T_List'8314'_24
forall a b. a -> b
coe T_List'8314'_24
v0 of
      C__'8759'__36 AgdaAny
v1 [AgdaAny]
v2 -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v2
      T_List'8314'_24
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.uncons
d_uncons_38 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_24 -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
d_uncons_38 :: () -> () -> T_List'8314'_24 -> T_Σ_14
d_uncons_38 ~()
v0 ~()
v1 T_List'8314'_24
v2 = T_List'8314'_24 -> T_Σ_14
du_uncons_38 T_List'8314'_24
v2
du_uncons_38 ::
  T_List'8314'_24 -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
du_uncons_38 :: T_List'8314'_24 -> T_Σ_14
du_uncons_38 T_List'8314'_24
v0
  = case T_List'8314'_24 -> T_List'8314'_24
forall a b. a -> b
coe T_List'8314'_24
v0 of
      C__'8759'__36 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'_24
_ -> T_Σ_14
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.[_]
d_'91'_'93'_44 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> AgdaAny -> T_List'8314'_24
d_'91'_'93'_44 :: () -> () -> AgdaAny -> T_List'8314'_24
d_'91'_'93'_44 ~()
v0 ~()
v1 AgdaAny
v2 = AgdaAny -> T_List'8314'_24
du_'91'_'93'_44 AgdaAny
v2
du_'91'_'93'_44 :: AgdaAny -> T_List'8314'_24
du_'91'_'93'_44 :: AgdaAny -> T_List'8314'_24
du_'91'_'93'_44 AgdaAny
v0
  = (AgdaAny -> [AgdaAny] -> T_List'8314'_24)
-> AgdaAny -> AgdaAny -> T_List'8314'_24
forall a b. a -> b
coe
      AgdaAny -> [AgdaAny] -> T_List'8314'_24
C__'8759'__36 (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'__48 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> AgdaAny -> T_List'8314'_24 -> T_List'8314'_24
d__'8759''8314'__48 :: () -> () -> AgdaAny -> T_List'8314'_24 -> T_List'8314'_24
d__'8759''8314'__48 ~()
v0 ~()
v1 AgdaAny
v2 T_List'8314'_24
v3 = AgdaAny -> T_List'8314'_24 -> T_List'8314'_24
du__'8759''8314'__48 AgdaAny
v2 T_List'8314'_24
v3
du__'8759''8314'__48 ::
  AgdaAny -> T_List'8314'_24 -> T_List'8314'_24
du__'8759''8314'__48 :: AgdaAny -> T_List'8314'_24 -> T_List'8314'_24
du__'8759''8314'__48 AgdaAny
v0 T_List'8314'_24
v1
  = case T_List'8314'_24 -> T_List'8314'_24
forall a b. a -> b
coe T_List'8314'_24
v1 of
      C__'8759'__36 AgdaAny
v2 [AgdaAny]
v3
        -> (AgdaAny -> [AgdaAny] -> T_List'8314'_24)
-> AgdaAny -> AgdaAny -> T_List'8314'_24
forall a b. a -> b
coe
             AgdaAny -> [AgdaAny] -> T_List'8314'_24
C__'8759'__36 (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'_24
_ -> T_List'8314'_24
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.length
d_length_56 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_24 -> Integer
d_length_56 :: () -> () -> T_List'8314'_24 -> Integer
d_length_56 ~()
v0 ~()
v1 T_List'8314'_24
v2 = T_List'8314'_24 -> Integer
du_length_56 T_List'8314'_24
v2
du_length_56 :: T_List'8314'_24 -> Integer
du_length_56 :: T_List'8314'_24 -> Integer
du_length_56 T_List'8314'_24
v0
  = case T_List'8314'_24 -> T_List'8314'_24
forall a b. a -> b
coe T_List'8314'_24
v0 of
      C__'8759'__36 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_296 [AgdaAny]
v2)
      T_List'8314'_24
_ -> Integer
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.toList
d_toList_62 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_24 -> [AgdaAny]
d_toList_62 :: () -> () -> T_List'8314'_24 -> [AgdaAny]
d_toList_62 ~()
v0 ~()
v1 T_List'8314'_24
v2 = T_List'8314'_24 -> [AgdaAny]
du_toList_62 T_List'8314'_24
v2
du_toList_62 :: T_List'8314'_24 -> [AgdaAny]
du_toList_62 :: T_List'8314'_24 -> [AgdaAny]
du_toList_62 T_List'8314'_24
v0
  = case T_List'8314'_24 -> T_List'8314'_24
forall a b. a -> b
coe T_List'8314'_24
v0 of
      C__'8759'__36 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'_24
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.fromList
d_fromList_68 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> Maybe T_List'8314'_24
d_fromList_68 :: () -> () -> [AgdaAny] -> Maybe T_List'8314'_24
d_fromList_68 ~()
v0 ~()
v1 [AgdaAny]
v2 = [AgdaAny] -> Maybe T_List'8314'_24
du_fromList_68 [AgdaAny]
v2
du_fromList_68 :: [AgdaAny] -> Maybe T_List'8314'_24
du_fromList_68 :: [AgdaAny] -> Maybe T_List'8314'_24
du_fromList_68 [AgdaAny]
v0
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v0 of
      [] -> Maybe AgdaAny -> Maybe T_List'8314'_24
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'_24
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'_24)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> [AgdaAny] -> T_List'8314'_24
C__'8759'__36 (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'_24
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.fromVec
d_fromVec_76 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  Integer -> MAlonzo.Code.Data.Vec.Base.T_Vec_24 -> T_List'8314'_24
d_fromVec_76 :: () -> () -> Integer -> T_Vec_24 -> T_List'8314'_24
d_fromVec_76 ~()
v0 ~()
v1 ~Integer
v2 T_Vec_24
v3 = T_Vec_24 -> T_List'8314'_24
du_fromVec_76 T_Vec_24
v3
du_fromVec_76 ::
  MAlonzo.Code.Data.Vec.Base.T_Vec_24 -> T_List'8314'_24
du_fromVec_76 :: T_Vec_24 -> T_List'8314'_24
du_fromVec_76 T_Vec_24
v0
  = case T_Vec_24 -> T_Vec_24
forall a b. a -> b
coe T_Vec_24
v0 of
      MAlonzo.Code.Data.Vec.Base.C__'8759'__36 AgdaAny
v2 T_Vec_24
v3
        -> (AgdaAny -> [AgdaAny] -> T_List'8314'_24)
-> AgdaAny -> AgdaAny -> T_List'8314'_24
forall a b. a -> b
coe
             AgdaAny -> [AgdaAny] -> T_List'8314'_24
C__'8759'__36 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v2)
             ((T_Vec_24 -> [AgdaAny]) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_Vec_24 -> [AgdaAny]
MAlonzo.Code.Data.Vec.Base.du_toList_652 (T_Vec_24 -> AgdaAny
forall a b. a -> b
coe T_Vec_24
v3))
      T_Vec_24
_ -> T_List'8314'_24
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.toVec
d_toVec_84 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_24 -> MAlonzo.Code.Data.Vec.Base.T_Vec_24
d_toVec_84 :: () -> () -> T_List'8314'_24 -> T_Vec_24
d_toVec_84 ~()
v0 ~()
v1 T_List'8314'_24
v2 = T_List'8314'_24 -> T_Vec_24
du_toVec_84 T_List'8314'_24
v2
du_toVec_84 ::
  T_List'8314'_24 -> MAlonzo.Code.Data.Vec.Base.T_Vec_24
du_toVec_84 :: T_List'8314'_24 -> T_Vec_24
du_toVec_84 T_List'8314'_24
v0
  = case T_List'8314'_24 -> T_List'8314'_24
forall a b. a -> b
coe T_List'8314'_24
v0 of
      C__'8759'__36 AgdaAny
v1 [AgdaAny]
v2
        -> (AgdaAny -> T_Vec_24 -> T_Vec_24) -> AgdaAny -> AgdaAny -> T_Vec_24
forall a b. a -> b
coe
             AgdaAny -> T_Vec_24 -> T_Vec_24
MAlonzo.Code.Data.Vec.Base.C__'8759'__36 AgdaAny
v1
             (([AgdaAny] -> T_Vec_24) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe [AgdaAny] -> T_Vec_24
MAlonzo.Code.Data.Vec.Base.du_fromList_660 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v2))
      T_List'8314'_24
_ -> T_Vec_24
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.lift
d_lift_94 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (Integer ->
   MAlonzo.Code.Data.Vec.Base.T_Vec_24 ->
   MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14) ->
  T_List'8314'_24 -> T_List'8314'_24
d_lift_94 :: ()
-> ()
-> ()
-> ()
-> (Integer -> T_Vec_24 -> T_Σ_14)
-> T_List'8314'_24
-> T_List'8314'_24
d_lift_94 ~()
v0 ~()
v1 ~()
v2 ~()
v3 Integer -> T_Vec_24 -> T_Σ_14
v4 T_List'8314'_24
v5 = (Integer -> T_Vec_24 -> T_Σ_14)
-> T_List'8314'_24 -> T_List'8314'_24
du_lift_94 Integer -> T_Vec_24 -> T_Σ_14
v4 T_List'8314'_24
v5
du_lift_94 ::
  (Integer ->
   MAlonzo.Code.Data.Vec.Base.T_Vec_24 ->
   MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14) ->
  T_List'8314'_24 -> T_List'8314'_24
du_lift_94 :: (Integer -> T_Vec_24 -> T_Σ_14)
-> T_List'8314'_24 -> T_List'8314'_24
du_lift_94 Integer -> T_Vec_24 -> T_Σ_14
v0 T_List'8314'_24
v1
  = (T_Vec_24 -> T_List'8314'_24) -> AgdaAny -> T_List'8314'_24
forall a b. a -> b
coe
      T_Vec_24 -> T_List'8314'_24
du_fromVec_76
      ((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_24 -> T_Σ_14) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
            Integer -> T_Vec_24 -> 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_240
               (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'_24 -> [AgdaAny]) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_List'8314'_24 -> [AgdaAny]
d_tail_34 (T_List'8314'_24 -> AgdaAny
forall a b. a -> b
coe T_List'8314'_24
v1)))
            ((T_List'8314'_24 -> T_Vec_24) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_List'8314'_24 -> T_Vec_24
du_toVec_84 (T_List'8314'_24 -> AgdaAny
forall a b. a -> b
coe T_List'8314'_24
v1))))
-- Data.List.NonEmpty.Base.map
d_map_100 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> T_List'8314'_24
d_map_100 :: ()
-> ()
-> ()
-> ()
-> (AgdaAny -> AgdaAny)
-> T_List'8314'_24
-> T_List'8314'_24
d_map_100 ~()
v0 ~()
v1 ~()
v2 ~()
v3 AgdaAny -> AgdaAny
v4 T_List'8314'_24
v5 = (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> T_List'8314'_24
du_map_100 AgdaAny -> AgdaAny
v4 T_List'8314'_24
v5
du_map_100 ::
  (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> T_List'8314'_24
du_map_100 :: (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> T_List'8314'_24
du_map_100 AgdaAny -> AgdaAny
v0 T_List'8314'_24
v1
  = case T_List'8314'_24 -> T_List'8314'_24
forall a b. a -> b
coe T_List'8314'_24
v1 of
      C__'8759'__36 AgdaAny
v2 [AgdaAny]
v3
        -> (AgdaAny -> [AgdaAny] -> T_List'8314'_24)
-> AgdaAny -> AgdaAny -> T_List'8314'_24
forall a b. a -> b
coe
             AgdaAny -> [AgdaAny] -> T_List'8314'_24
C__'8759'__36 ((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'_24
_ -> T_List'8314'_24
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.replicate
d_replicate_110 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  Integer ->
  (MAlonzo.Code.Agda.Builtin.Equality.T__'8801'__12 ->
   MAlonzo.Code.Data.Empty.T_'8869'_4) ->
  AgdaAny -> T_List'8314'_24
d_replicate_110 :: ()
-> ()
-> Integer
-> (T__'8801'__12 -> T_'8869'_4)
-> AgdaAny
-> T_List'8314'_24
d_replicate_110 ~()
v0 ~()
v1 Integer
v2 ~T__'8801'__12 -> T_'8869'_4
v3 AgdaAny
v4 = Integer -> AgdaAny -> T_List'8314'_24
du_replicate_110 Integer
v2 AgdaAny
v4
du_replicate_110 :: Integer -> AgdaAny -> T_List'8314'_24
du_replicate_110 :: Integer -> AgdaAny -> T_List'8314'_24
du_replicate_110 Integer
v0 AgdaAny
v1
  = (AgdaAny -> [AgdaAny] -> T_List'8314'_24)
-> AgdaAny -> AgdaAny -> T_List'8314'_24
forall a b. a -> b
coe
      AgdaAny -> [AgdaAny] -> T_List'8314'_24
C__'8759'__36 (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_306
         ((Integer -> Integer) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe Integer -> Integer
MAlonzo.Code.Data.Nat.Base.d_pred_94 (Integer -> AgdaAny
forall a b. a -> b
coe Integer
v0)) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1))
-- Data.List.NonEmpty.Base.foldr
d_foldr_118 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny
d_foldr_118 :: ()
-> ()
-> ()
-> ()
-> (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny)
-> T_List'8314'_24
-> AgdaAny
d_foldr_118 ~()
v0 ~()
v1 ~()
v2 ~()
v3 AgdaAny -> AgdaAny -> AgdaAny
v4 AgdaAny -> AgdaAny
v5 T_List'8314'_24
v6 = (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny
du_foldr_118 AgdaAny -> AgdaAny -> AgdaAny
v4 AgdaAny -> AgdaAny
v5 T_List'8314'_24
v6
du_foldr_118 ::
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny
du_foldr_118 :: (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny
du_foldr_118 AgdaAny -> AgdaAny -> AgdaAny
v0 AgdaAny -> AgdaAny
v1 T_List'8314'_24
v2
  = case T_List'8314'_24 -> T_List'8314'_24
forall a b. a -> b
coe T_List'8314'_24
v2 of
      C__'8759'__36 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'_136 ((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'_24
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base._.foldr′
d_foldr'8242'_136 ::
  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'_136 :: ()
-> ()
-> ()
-> ()
-> (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny)
-> AgdaAny
-> [AgdaAny]
-> AgdaAny
-> [AgdaAny]
-> AgdaAny
d_foldr'8242'_136 ~()
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'_136 AgdaAny -> AgdaAny -> AgdaAny
v4 AgdaAny -> AgdaAny
v5 AgdaAny
v8 [AgdaAny]
v9
du_foldr'8242'_136 ::
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  (AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
du_foldr'8242'_136 :: (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
du_foldr'8242'_136 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'_136 ((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'_146 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny
d_foldr'8321'_146 :: ()
-> ()
-> (AgdaAny -> AgdaAny -> AgdaAny)
-> T_List'8314'_24
-> AgdaAny
d_foldr'8321'_146 ~()
v0 ~()
v1 AgdaAny -> AgdaAny -> AgdaAny
v2 = (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny
du_foldr'8321'_146 AgdaAny -> AgdaAny -> AgdaAny
v2
du_foldr'8321'_146 ::
  (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny
du_foldr'8321'_146 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny
du_foldr'8321'_146 AgdaAny -> AgdaAny -> AgdaAny
v0
  = ((AgdaAny -> AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny)
-> AgdaAny -> AgdaAny -> T_List'8314'_24 -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny
du_foldr_118 ((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_150 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny
d_foldl_150 :: ()
-> ()
-> ()
-> ()
-> (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny)
-> T_List'8314'_24
-> AgdaAny
d_foldl_150 ~()
v0 ~()
v1 ~()
v2 ~()
v3 AgdaAny -> AgdaAny -> AgdaAny
v4 AgdaAny -> AgdaAny
v5 T_List'8314'_24
v6 = (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny
du_foldl_150 AgdaAny -> AgdaAny -> AgdaAny
v4 AgdaAny -> AgdaAny
v5 T_List'8314'_24
v6
du_foldl_150 ::
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny
du_foldl_150 :: (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny
du_foldl_150 AgdaAny -> AgdaAny -> AgdaAny
v0 AgdaAny -> AgdaAny
v1 T_List'8314'_24
v2
  = case T_List'8314'_24 -> T_List'8314'_24
forall a b. a -> b
coe T_List'8314'_24
v2 of
      C__'8759'__36 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_254 ((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'_24
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.foldl₁
d_foldl'8321'_160 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny
d_foldl'8321'_160 :: ()
-> ()
-> (AgdaAny -> AgdaAny -> AgdaAny)
-> T_List'8314'_24
-> AgdaAny
d_foldl'8321'_160 ~()
v0 ~()
v1 AgdaAny -> AgdaAny -> AgdaAny
v2 = (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny
du_foldl'8321'_160 AgdaAny -> AgdaAny -> AgdaAny
v2
du_foldl'8321'_160 ::
  (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny
du_foldl'8321'_160 :: (AgdaAny -> AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny
du_foldl'8321'_160 AgdaAny -> AgdaAny -> AgdaAny
v0
  = ((AgdaAny -> AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny)
-> AgdaAny -> AgdaAny -> T_List'8314'_24 -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny
du_foldl_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
v1 -> AgdaAny
v1))
-- Data.List.NonEmpty.Base._⁺++⁺_
d__'8314''43''43''8314'__164 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24
d__'8314''43''43''8314'__164 :: () -> () -> T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24
d__'8314''43''43''8314'__164 ~()
v0 ~()
v1 T_List'8314'_24
v2 T_List'8314'_24
v3
  = T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24
du__'8314''43''43''8314'__164 T_List'8314'_24
v2 T_List'8314'_24
v3
du__'8314''43''43''8314'__164 ::
  T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24
du__'8314''43''43''8314'__164 :: T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24
du__'8314''43''43''8314'__164 T_List'8314'_24
v0 T_List'8314'_24
v1
  = case T_List'8314'_24 -> T_List'8314'_24
forall a b. a -> b
coe T_List'8314'_24
v0 of
      C__'8759'__36 AgdaAny
v2 [AgdaAny]
v3
        -> case T_List'8314'_24 -> T_List'8314'_24
forall a b. a -> b
coe T_List'8314'_24
v1 of
             C__'8759'__36 AgdaAny
v4 [AgdaAny]
v5
               -> (AgdaAny -> [AgdaAny] -> T_List'8314'_24)
-> AgdaAny -> AgdaAny -> T_List'8314'_24
forall a b. a -> b
coe
                    AgdaAny -> [AgdaAny] -> T_List'8314'_24
C__'8759'__36 (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'__60 ([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'_24
_ -> T_List'8314'_24
forall a. a
MAlonzo.RTE.mazUnreachableError
      T_List'8314'_24
_ -> T_List'8314'_24
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base._⁺++_
d__'8314''43''43'__174 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_24 -> [AgdaAny] -> T_List'8314'_24
d__'8314''43''43'__174 :: () -> () -> T_List'8314'_24 -> [AgdaAny] -> T_List'8314'_24
d__'8314''43''43'__174 ~()
v0 ~()
v1 T_List'8314'_24
v2 [AgdaAny]
v3
  = T_List'8314'_24 -> [AgdaAny] -> T_List'8314'_24
du__'8314''43''43'__174 T_List'8314'_24
v2 [AgdaAny]
v3
du__'8314''43''43'__174 ::
  T_List'8314'_24 -> [AgdaAny] -> T_List'8314'_24
du__'8314''43''43'__174 :: T_List'8314'_24 -> [AgdaAny] -> T_List'8314'_24
du__'8314''43''43'__174 T_List'8314'_24
v0 [AgdaAny]
v1
  = case T_List'8314'_24 -> T_List'8314'_24
forall a b. a -> b
coe T_List'8314'_24
v0 of
      C__'8759'__36 AgdaAny
v2 [AgdaAny]
v3
        -> (AgdaAny -> [AgdaAny] -> T_List'8314'_24)
-> AgdaAny -> AgdaAny -> T_List'8314'_24
forall a b. a -> b
coe
             AgdaAny -> [AgdaAny] -> T_List'8314'_24
C__'8759'__36 (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'__60 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v1))
      T_List'8314'_24
_ -> T_List'8314'_24
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base._++⁺_
d__'43''43''8314'__182 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> T_List'8314'_24 -> T_List'8314'_24
d__'43''43''8314'__182 :: () -> () -> [AgdaAny] -> T_List'8314'_24 -> T_List'8314'_24
d__'43''43''8314'__182 ~()
v0 ~()
v1 [AgdaAny]
v2 T_List'8314'_24
v3
  = [AgdaAny] -> T_List'8314'_24 -> T_List'8314'_24
du__'43''43''8314'__182 [AgdaAny]
v2 T_List'8314'_24
v3
du__'43''43''8314'__182 ::
  [AgdaAny] -> T_List'8314'_24 -> T_List'8314'_24
du__'43''43''8314'__182 :: [AgdaAny] -> T_List'8314'_24 -> T_List'8314'_24
du__'43''43''8314'__182 [AgdaAny]
v0 T_List'8314'_24
v1
  = ((AgdaAny -> AgdaAny -> AgdaAny)
 -> AgdaAny -> [AgdaAny] -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny -> T_List'8314'_24
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
MAlonzo.Code.Data.List.Base.du_foldr_240 ((AgdaAny -> T_List'8314'_24 -> T_List'8314'_24) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_List'8314'_24 -> T_List'8314'_24
du__'8759''8314'__48)
      (T_List'8314'_24 -> AgdaAny
forall a b. a -> b
coe T_List'8314'_24
v1) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v0)
-- Data.List.NonEmpty.Base.concat
d_concat_188 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_24 -> T_List'8314'_24
d_concat_188 :: () -> () -> T_List'8314'_24 -> T_List'8314'_24
d_concat_188 ~()
v0 ~()
v1 T_List'8314'_24
v2 = T_List'8314'_24 -> T_List'8314'_24
du_concat_188 T_List'8314'_24
v2
du_concat_188 :: T_List'8314'_24 -> T_List'8314'_24
du_concat_188 :: T_List'8314'_24 -> T_List'8314'_24
du_concat_188 T_List'8314'_24
v0
  = case T_List'8314'_24 -> T_List'8314'_24
forall a b. a -> b
coe T_List'8314'_24
v0 of
      C__'8759'__36 AgdaAny
v1 [AgdaAny]
v2
        -> (T_List'8314'_24 -> [AgdaAny] -> T_List'8314'_24)
-> AgdaAny -> AgdaAny -> T_List'8314'_24
forall a b. a -> b
coe
             T_List'8314'_24 -> [AgdaAny] -> T_List'8314'_24
du__'8314''43''43'__174 (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_268
                (((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'_24 -> [AgdaAny]) -> AgdaAny
forall a b. a -> b
coe T_List'8314'_24 -> [AgdaAny]
du_toList_62) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v2)))
      T_List'8314'_24
_ -> T_List'8314'_24
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.concatMap
d_concatMap_194 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> T_List'8314'_24) -> T_List'8314'_24 -> T_List'8314'_24
d_concatMap_194 :: ()
-> ()
-> ()
-> ()
-> (AgdaAny -> T_List'8314'_24)
-> T_List'8314'_24
-> T_List'8314'_24
d_concatMap_194 ~()
v0 ~()
v1 ~()
v2 ~()
v3 AgdaAny -> T_List'8314'_24
v4 = (AgdaAny -> T_List'8314'_24) -> T_List'8314'_24 -> T_List'8314'_24
du_concatMap_194 AgdaAny -> T_List'8314'_24
v4
du_concatMap_194 ::
  (AgdaAny -> T_List'8314'_24) -> T_List'8314'_24 -> T_List'8314'_24
du_concatMap_194 :: (AgdaAny -> T_List'8314'_24) -> T_List'8314'_24 -> T_List'8314'_24
du_concatMap_194 AgdaAny -> T_List'8314'_24
v0
  = ((AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny)
-> AgdaAny -> AgdaAny -> T_List'8314'_24 -> T_List'8314'_24
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny) -> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
MAlonzo.Code.Function.Base.du__'8728''8242'__226
      ((T_List'8314'_24 -> T_List'8314'_24) -> AgdaAny
forall a b. a -> b
coe T_List'8314'_24 -> T_List'8314'_24
du_concat_188) (((AgdaAny -> AgdaAny) -> T_List'8314'_24 -> T_List'8314'_24)
-> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> T_List'8314'_24
du_map_100 ((AgdaAny -> T_List'8314'_24) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_List'8314'_24
v0))
-- Data.List.NonEmpty.Base.reverse
d_reverse_198 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_24 -> T_List'8314'_24
d_reverse_198 :: () -> () -> T_List'8314'_24 -> T_List'8314'_24
d_reverse_198 ~()
v0 ~()
v1 = T_List'8314'_24 -> T_List'8314'_24
du_reverse_198
du_reverse_198 :: T_List'8314'_24 -> T_List'8314'_24
du_reverse_198 :: T_List'8314'_24 -> T_List'8314'_24
du_reverse_198
  = ((Integer -> T_Vec_24 -> T_Σ_14)
 -> T_List'8314'_24 -> T_List'8314'_24)
-> AgdaAny -> T_List'8314'_24 -> T_List'8314'_24
forall a b. a -> b
coe
      (Integer -> T_Vec_24 -> T_Σ_14)
-> T_List'8314'_24 -> T_List'8314'_24
du_lift_94
      ((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'__226
              ((AgdaAny -> AgdaAny -> T_Σ_14) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> T_Σ_14
MAlonzo.Code.Data.Product.du_'45''44'__112 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v0))
              ((T_Vec_24 -> T_Vec_24) -> AgdaAny
forall a b. a -> b
coe T_Vec_24 -> T_Vec_24
MAlonzo.Code.Data.Vec.Base.du_reverse_668)))
-- Data.List.NonEmpty.Base.alignWith
d_alignWith_200 ::
  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'_24 -> T_List'8314'_24 -> T_List'8314'_24
d_alignWith_200 :: ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> (T_These_38 -> AgdaAny)
-> T_List'8314'_24
-> T_List'8314'_24
-> T_List'8314'_24
d_alignWith_200 ~()
v0 ~()
v1 ~()
v2 ~()
v3 ~()
v4 ~()
v5 T_These_38 -> AgdaAny
v6 T_List'8314'_24
v7 T_List'8314'_24
v8
  = (T_These_38 -> AgdaAny)
-> T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24
du_alignWith_200 T_These_38 -> AgdaAny
v6 T_List'8314'_24
v7 T_List'8314'_24
v8
du_alignWith_200 ::
  (MAlonzo.Code.Data.These.Base.T_These_38 -> AgdaAny) ->
  T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24
du_alignWith_200 :: (T_These_38 -> AgdaAny)
-> T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24
du_alignWith_200 T_These_38 -> AgdaAny
v0 T_List'8314'_24
v1 T_List'8314'_24
v2
  = case T_List'8314'_24 -> T_List'8314'_24
forall a b. a -> b
coe T_List'8314'_24
v1 of
      C__'8759'__36 AgdaAny
v3 [AgdaAny]
v4
        -> case T_List'8314'_24 -> T_List'8314'_24
forall a b. a -> b
coe T_List'8314'_24
v2 of
             C__'8759'__36 AgdaAny
v5 [AgdaAny]
v6
               -> (AgdaAny -> [AgdaAny] -> T_List'8314'_24)
-> AgdaAny -> AgdaAny -> T_List'8314'_24
forall a b. a -> b
coe
                    AgdaAny -> [AgdaAny] -> T_List'8314'_24
C__'8759'__36
                    ((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_112 ((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'_24
_ -> T_List'8314'_24
forall a. a
MAlonzo.RTE.mazUnreachableError
      T_List'8314'_24
_ -> T_List'8314'_24
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.zipWith
d_zipWith_212 ::
  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'_24 -> T_List'8314'_24 -> T_List'8314'_24
d_zipWith_212 :: ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> (AgdaAny -> AgdaAny -> AgdaAny)
-> T_List'8314'_24
-> T_List'8314'_24
-> T_List'8314'_24
d_zipWith_212 ~()
v0 ~()
v1 ~()
v2 ~()
v3 ~()
v4 ~()
v5 AgdaAny -> AgdaAny -> AgdaAny
v6 T_List'8314'_24
v7 T_List'8314'_24
v8
  = (AgdaAny -> AgdaAny -> AgdaAny)
-> T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24
du_zipWith_212 AgdaAny -> AgdaAny -> AgdaAny
v6 T_List'8314'_24
v7 T_List'8314'_24
v8
du_zipWith_212 ::
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24
du_zipWith_212 :: (AgdaAny -> AgdaAny -> AgdaAny)
-> T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24
du_zipWith_212 AgdaAny -> AgdaAny -> AgdaAny
v0 T_List'8314'_24
v1 T_List'8314'_24
v2
  = case T_List'8314'_24 -> T_List'8314'_24
forall a b. a -> b
coe T_List'8314'_24
v1 of
      C__'8759'__36 AgdaAny
v3 [AgdaAny]
v4
        -> case T_List'8314'_24 -> T_List'8314'_24
forall a b. a -> b
coe T_List'8314'_24
v2 of
             C__'8759'__36 AgdaAny
v5 [AgdaAny]
v6
               -> (AgdaAny -> [AgdaAny] -> T_List'8314'_24)
-> AgdaAny -> AgdaAny -> T_List'8314'_24
forall a b. a -> b
coe
                    AgdaAny -> [AgdaAny] -> T_List'8314'_24
C__'8759'__36 ((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_132 ((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'_24
_ -> T_List'8314'_24
forall a. a
MAlonzo.RTE.mazUnreachableError
      T_List'8314'_24
_ -> T_List'8314'_24
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.unalignWith
d_unalignWith_224 ::
  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'_24 -> MAlonzo.Code.Data.These.Base.T_These_38
d_unalignWith_224 :: ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> (AgdaAny -> T_These_38)
-> T_List'8314'_24
-> T_These_38
d_unalignWith_224 ~()
v0 ~()
v1 ~()
v2 ~()
v3 ~()
v4 ~()
v5 AgdaAny -> T_These_38
v6
  = (AgdaAny -> T_These_38) -> T_List'8314'_24 -> T_These_38
du_unalignWith_224 AgdaAny -> T_These_38
v6
du_unalignWith_224 ::
  (AgdaAny -> MAlonzo.Code.Data.These.Base.T_These_38) ->
  T_List'8314'_24 -> MAlonzo.Code.Data.These.Base.T_These_38
du_unalignWith_224 :: (AgdaAny -> T_These_38) -> T_List'8314'_24 -> T_These_38
du_unalignWith_224 AgdaAny -> T_These_38
v0
  = ((AgdaAny -> AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny)
-> AgdaAny -> AgdaAny -> T_List'8314'_24 -> T_These_38
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny) -> T_List'8314'_24 -> AgdaAny
du_foldr_118
      (((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'__226
         (((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'_24) -> AgdaAny
forall a b. a -> b
coe T_These_38 -> T_List'8314'_24
du_mcons_236)
            ((T_These_38 -> T_List'8314'_24) -> AgdaAny
forall a b. a -> b
coe T_These_38 -> T_List'8314'_24
du_mcons_236))
         ((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'__226
         (((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'_24) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_List'8314'_24
du_'91'_'93'_44)
            ((AgdaAny -> T_List'8314'_24) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_List'8314'_24
du_'91'_'93'_44))
         ((AgdaAny -> T_These_38) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_These_38
v0))
-- Data.List.NonEmpty.Base._.mcons
d_mcons_236 ::
  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'_24
d_mcons_236 :: ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> (AgdaAny -> T_These_38)
-> ()
-> ()
-> T_These_38
-> T_List'8314'_24
d_mcons_236 ~()
v0 ~()
v1 ~()
v2 ~()
v3 ~()
v4 ~()
v5 ~AgdaAny -> T_These_38
v6 ~()
v7 ~()
v8 = T_These_38 -> T_List'8314'_24
du_mcons_236
du_mcons_236 ::
  MAlonzo.Code.Data.These.Base.T_These_38 -> T_List'8314'_24
du_mcons_236 :: T_These_38 -> T_List'8314'_24
du_mcons_236
  = ((AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny -> AgdaAny)
 -> T_These_38
 -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny -> T_These_38 -> T_List'8314'_24
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'_24) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_List'8314'_24
du_'91'_'93'_44)
      ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v0 -> AgdaAny
v0)) ((AgdaAny -> T_List'8314'_24 -> T_List'8314'_24) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_List'8314'_24 -> T_List'8314'_24
du__'8759''8314'__48)
-- Data.List.NonEmpty.Base.unzipWith
d_unzipWith_238 ::
  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'_24 -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
d_unzipWith_238 :: ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> (AgdaAny -> T_Σ_14)
-> T_List'8314'_24
-> T_Σ_14
d_unzipWith_238 ~()
v0 ~()
v1 ~()
v2 ~()
v3 ~()
v4 ~()
v5 AgdaAny -> T_Σ_14
v6 T_List'8314'_24
v7
  = (AgdaAny -> T_Σ_14) -> T_List'8314'_24 -> T_Σ_14
du_unzipWith_238 AgdaAny -> T_Σ_14
v6 T_List'8314'_24
v7
du_unzipWith_238 ::
  (AgdaAny -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14) ->
  T_List'8314'_24 -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
du_unzipWith_238 :: (AgdaAny -> T_Σ_14) -> T_List'8314'_24 -> T_Σ_14
du_unzipWith_238 AgdaAny -> T_Σ_14
v0 T_List'8314'_24
v1
  = case T_List'8314'_24 -> T_List'8314'_24
forall a b. a -> b
coe T_List'8314'_24
v1 of
      C__'8759'__36 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.du_zip_218 ((AgdaAny -> [AgdaAny] -> T_List'8314'_24) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> [AgdaAny] -> T_List'8314'_24
C__'8759'__36)
             ((AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v4 AgdaAny
v5 -> (AgdaAny -> [AgdaAny] -> T_List'8314'_24) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> [AgdaAny] -> T_List'8314'_24
C__'8759'__36)) ((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_194 ((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'_24
_ -> T_Σ_14
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.align
d_align_246 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24
d_align_246 :: ()
-> ()
-> ()
-> ()
-> T_List'8314'_24
-> T_List'8314'_24
-> T_List'8314'_24
d_align_246 ~()
v0 ~()
v1 ~()
v2 ~()
v3 = T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24
du_align_246
du_align_246 ::
  T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24
du_align_246 :: T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24
du_align_246 = ((T_These_38 -> AgdaAny)
 -> T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24)
-> AgdaAny -> T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24
forall a b. a -> b
coe (T_These_38 -> AgdaAny)
-> T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24
du_alignWith_200 ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v0 -> AgdaAny
v0))
-- Data.List.NonEmpty.Base.zip
d_zip_248 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24
d_zip_248 :: ()
-> ()
-> ()
-> ()
-> T_List'8314'_24
-> T_List'8314'_24
-> T_List'8314'_24
d_zip_248 ~()
v0 ~()
v1 ~()
v2 ~()
v3 = T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24
du_zip_248
du_zip_248 :: T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24
du_zip_248 :: T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24
du_zip_248
  = ((AgdaAny -> AgdaAny -> AgdaAny)
 -> T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24)
-> AgdaAny -> T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny -> AgdaAny)
-> T_List'8314'_24 -> T_List'8314'_24 -> T_List'8314'_24
du_zipWith_212 ((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_250 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_24 -> MAlonzo.Code.Data.These.Base.T_These_38
d_unalign_250 :: () -> () -> () -> () -> T_List'8314'_24 -> T_These_38
d_unalign_250 ~()
v0 ~()
v1 ~()
v2 ~()
v3 = T_List'8314'_24 -> T_These_38
du_unalign_250
du_unalign_250 ::
  T_List'8314'_24 -> MAlonzo.Code.Data.These.Base.T_These_38
du_unalign_250 :: T_List'8314'_24 -> T_These_38
du_unalign_250 = ((AgdaAny -> T_These_38) -> T_List'8314'_24 -> T_These_38)
-> AgdaAny -> T_List'8314'_24 -> T_These_38
forall a b. a -> b
coe (AgdaAny -> T_These_38) -> T_List'8314'_24 -> T_These_38
du_unalignWith_224 ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v0 -> AgdaAny
v0))
-- Data.List.NonEmpty.Base.unzip
d_unzip_252 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_24 -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
d_unzip_252 :: () -> () -> () -> () -> T_List'8314'_24 -> T_Σ_14
d_unzip_252 ~()
v0 ~()
v1 ~()
v2 ~()
v3 = T_List'8314'_24 -> T_Σ_14
du_unzip_252
du_unzip_252 ::
  T_List'8314'_24 -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
du_unzip_252 :: T_List'8314'_24 -> T_Σ_14
du_unzip_252 = ((AgdaAny -> T_Σ_14) -> T_List'8314'_24 -> T_Σ_14)
-> AgdaAny -> T_List'8314'_24 -> T_Σ_14
forall a b. a -> b
coe (AgdaAny -> T_Σ_14) -> T_List'8314'_24 -> T_Σ_14
du_unzipWith_238 ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v0 -> AgdaAny
v0))
-- Data.List.NonEmpty.Base._∷ʳ_
d__'8759''691'__254 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> AgdaAny -> T_List'8314'_24
d__'8759''691'__254 :: () -> () -> [AgdaAny] -> AgdaAny -> T_List'8314'_24
d__'8759''691'__254 ~()
v0 ~()
v1 [AgdaAny]
v2 AgdaAny
v3 = [AgdaAny] -> AgdaAny -> T_List'8314'_24
du__'8759''691'__254 [AgdaAny]
v2 AgdaAny
v3
du__'8759''691'__254 :: [AgdaAny] -> AgdaAny -> T_List'8314'_24
du__'8759''691'__254 :: [AgdaAny] -> AgdaAny -> T_List'8314'_24
du__'8759''691'__254 [AgdaAny]
v0 AgdaAny
v1
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v0 of
      [] -> (AgdaAny -> T_List'8314'_24) -> AgdaAny -> T_List'8314'_24
forall a b. a -> b
coe AgdaAny -> T_List'8314'_24
du_'91'_'93'_44 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1)
      (:) AgdaAny
v2 [AgdaAny]
v3
        -> (AgdaAny -> [AgdaAny] -> T_List'8314'_24)
-> AgdaAny -> AgdaAny -> T_List'8314'_24
forall a b. a -> b
coe
             AgdaAny -> [AgdaAny] -> T_List'8314'_24
C__'8759'__36 (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'__808 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1))
      [AgdaAny]
_ -> T_List'8314'_24
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base._⁺∷ʳ_
d__'8314''8759''691'__264 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_24 -> AgdaAny -> T_List'8314'_24
d__'8314''8759''691'__264 :: () -> () -> T_List'8314'_24 -> AgdaAny -> T_List'8314'_24
d__'8314''8759''691'__264 ~()
v0 ~()
v1 T_List'8314'_24
v2 AgdaAny
v3
  = T_List'8314'_24 -> AgdaAny -> T_List'8314'_24
du__'8314''8759''691'__264 T_List'8314'_24
v2 AgdaAny
v3
du__'8314''8759''691'__264 ::
  T_List'8314'_24 -> AgdaAny -> T_List'8314'_24
du__'8314''8759''691'__264 :: T_List'8314'_24 -> AgdaAny -> T_List'8314'_24
du__'8314''8759''691'__264 T_List'8314'_24
v0 AgdaAny
v1
  = ([AgdaAny] -> AgdaAny -> T_List'8314'_24)
-> AgdaAny -> AgdaAny -> T_List'8314'_24
forall a b. a -> b
coe [AgdaAny] -> AgdaAny -> T_List'8314'_24
du__'8759''691'__254 ((T_List'8314'_24 -> [AgdaAny]) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_List'8314'_24 -> [AgdaAny]
du_toList_62 (T_List'8314'_24 -> AgdaAny
forall a b. a -> b
coe T_List'8314'_24
v0)) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1)
-- Data.List.NonEmpty.Base.SnocView
d_SnocView_274 :: p -> p -> p -> ()
d_SnocView_274 p
a0 p
a1 p
a2 = ()
data T_SnocView_274 = C__'8759''691''8242'__282 [AgdaAny] AgdaAny
-- Data.List.NonEmpty.Base.snocView
d_snocView_286 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_24 -> T_SnocView_274
d_snocView_286 :: () -> () -> T_List'8314'_24 -> T_SnocView_274
d_snocView_286 ~()
v0 ~()
v1 T_List'8314'_24
v2 = T_List'8314'_24 -> T_SnocView_274
du_snocView_286 T_List'8314'_24
v2
du_snocView_286 :: T_List'8314'_24 -> T_SnocView_274
du_snocView_286 :: T_List'8314'_24 -> T_SnocView_274
du_snocView_286 T_List'8314'_24
v0
  = case T_List'8314'_24 -> T_List'8314'_24
forall a b. a -> b
coe T_List'8314'_24
v0 of
      C__'8759'__36 AgdaAny
v1 [AgdaAny]
v2
        -> let v3 :: t
v3
                 = ([AgdaAny] -> T_InitLast_828) -> AgdaAny -> t
forall a b. a -> b
coe [AgdaAny] -> T_InitLast_828
MAlonzo.Code.Data.List.Base.du_initLast_842 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v2) in
           AgdaAny -> T_SnocView_274
forall a b. a -> b
coe
             (case AgdaAny -> T_InitLast_828
forall a b. a -> b
coe AgdaAny
forall a. a
v3 of
                T_InitLast_828
MAlonzo.Code.Data.List.Base.C_'91''93'_832
                  -> ([AgdaAny] -> AgdaAny -> T_SnocView_274)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                       [AgdaAny] -> AgdaAny -> T_SnocView_274
C__'8759''691''8242'__282
                       ([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'__838 [AgdaAny]
v4 AgdaAny
v5
                  -> ([AgdaAny] -> AgdaAny -> T_SnocView_274)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                       [AgdaAny] -> AgdaAny -> T_SnocView_274
C__'8759''691''8242'__282
                       ((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_828
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError)
      T_List'8314'_24
_ -> T_SnocView_274
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.NonEmpty.Base.last
d_last_304 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_List'8314'_24 -> AgdaAny
d_last_304 :: () -> () -> T_List'8314'_24 -> AgdaAny
d_last_304 ~()
v0 ~()
v1 T_List'8314'_24
v2 = T_List'8314'_24 -> AgdaAny
du_last_304 T_List'8314'_24
v2
du_last_304 :: T_List'8314'_24 -> AgdaAny
du_last_304 :: T_List'8314'_24 -> AgdaAny
du_last_304 T_List'8314'_24
v0
  = let v1 :: t
v1 = (T_List'8314'_24 -> T_SnocView_274) -> AgdaAny -> t
forall a b. a -> b
coe T_List'8314'_24 -> T_SnocView_274
du_snocView_286 (T_List'8314'_24 -> AgdaAny
forall a b. a -> b
coe T_List'8314'_24
v0) in
    AgdaAny -> AgdaAny
forall a b. a -> b
coe
      (case AgdaAny -> T_SnocView_274
forall a b. a -> b
coe AgdaAny
forall a. a
v1 of
         C__'8759''691''8242'__282 [AgdaAny]
v2 AgdaAny
v3 -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v3
         T_SnocView_274
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError)