{-# 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
d_List'8314'_22 :: p -> p -> ()
d_List'8314'_22 p
a0 p
a1 = ()
data T_List'8314'_22 = C__'8759'__34 AgdaAny [AgdaAny]
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
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
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
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)
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
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
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
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
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
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
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))))
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
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))
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)
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
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
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))
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
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))
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
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
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)
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
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))
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
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))
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))
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)))
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
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
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))
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)
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
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))
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)
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))
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))
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
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)
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
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
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
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))
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
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))
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)))
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)))
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))