{-# 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.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.Bool
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.Bool.Base
import qualified MAlonzo.Code.Data.Fin.Base
import qualified MAlonzo.Code.Data.Maybe.Base
import qualified MAlonzo.Code.Data.Product
import qualified MAlonzo.Code.Data.Sum.Base
import qualified MAlonzo.Code.Data.These.Base
import qualified MAlonzo.Code.Function.Base
import qualified MAlonzo.Code.Relation.Nullary
import qualified MAlonzo.Code.Relation.Nullary.Negation.Core
import qualified MAlonzo.Code.Relation.Unary.Properties

-- Data.List.Base.map
d_map_22 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny]
d_map_22 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> AgdaAny)
-> [AgdaAny]
-> [AgdaAny]
d_map_22 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18
v3 AgdaAny -> AgdaAny
v4 [AgdaAny]
v5 = (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny]
du_map_22 AgdaAny -> AgdaAny
v4 [AgdaAny]
v5
du_map_22 :: (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny]
du_map_22 :: (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny]
du_map_22 AgdaAny -> AgdaAny
v0 [AgdaAny]
v1
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1 of
      [] -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1
      (:) AgdaAny
v2 [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) -> 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]
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))
      [AgdaAny]
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.mapMaybe
d_mapMaybe_32 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> (AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> [AgdaAny]
d_mapMaybe_32 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> Maybe AgdaAny)
-> [AgdaAny]
-> [AgdaAny]
d_mapMaybe_32 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18
v3 AgdaAny -> Maybe AgdaAny
v4 [AgdaAny]
v5 = (AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> [AgdaAny]
du_mapMaybe_32 AgdaAny -> Maybe AgdaAny
v4 [AgdaAny]
v5
du_mapMaybe_32 ::
  (AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> [AgdaAny]
du_mapMaybe_32 :: (AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> [AgdaAny]
du_mapMaybe_32 AgdaAny -> Maybe AgdaAny
v0 [AgdaAny]
v1
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1 of
      [] -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1
      (:) AgdaAny
v2 [AgdaAny]
v3
        -> let v4 :: t
v4 = (AgdaAny -> Maybe AgdaAny) -> AgdaAny -> t
forall a b. a -> b
coe AgdaAny -> Maybe AgdaAny
v0 AgdaAny
v2 in
           AgdaAny -> [AgdaAny]
forall a b. a -> b
coe
             (case AgdaAny -> Maybe AgdaAny
forall a b. a -> b
coe AgdaAny
forall a. a
v4 of
                MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 AgdaAny
v5
                  -> (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
v5)
                       (((AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> [AgdaAny]
du_mapMaybe_32 ((AgdaAny -> Maybe AgdaAny) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> Maybe AgdaAny
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3))
                Maybe AgdaAny
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18
                  -> ((AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> [AgdaAny]
du_mapMaybe_32 ((AgdaAny -> Maybe AgdaAny) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> Maybe AgdaAny
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3)
                Maybe AgdaAny
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError)
      [AgdaAny]
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base._++_
d__'43''43'__60 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
d__'43''43'__60 :: T_Level_18 -> T_Level_18 -> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
d__'43''43'__60 ~T_Level_18
v0 ~T_Level_18
v1 [AgdaAny]
v2 [AgdaAny]
v3 = [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du__'43''43'__60 [AgdaAny]
v2 [AgdaAny]
v3
du__'43''43'__60 :: [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du__'43''43'__60 :: [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du__'43''43'__60 [AgdaAny]
v0 [AgdaAny]
v1
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v0 of
      [] -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1
      (:) AgdaAny
v2 [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
v2)
             (([AgdaAny] -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du__'43''43'__60 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v1))
      [AgdaAny]
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.intersperse
d_intersperse_70 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> AgdaAny -> [AgdaAny] -> [AgdaAny]
d_intersperse_70 :: T_Level_18 -> T_Level_18 -> AgdaAny -> [AgdaAny] -> [AgdaAny]
d_intersperse_70 ~T_Level_18
v0 ~T_Level_18
v1 AgdaAny
v2 [AgdaAny]
v3 = AgdaAny -> [AgdaAny] -> [AgdaAny]
du_intersperse_70 AgdaAny
v2 [AgdaAny]
v3
du_intersperse_70 :: AgdaAny -> [AgdaAny] -> [AgdaAny]
du_intersperse_70 :: AgdaAny -> [AgdaAny] -> [AgdaAny]
du_intersperse_70 AgdaAny
v0 [AgdaAny]
v1
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1 of
      [] -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1
      (:) AgdaAny
v2 [AgdaAny]
v3
        -> let v4 :: t
v4
                 = (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 -> AgdaAny
forall a b. a -> b
coe 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
v0)
                        ((AgdaAny -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> [AgdaAny] -> [AgdaAny]
du_intersperse_70 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3))) in
           AgdaAny -> [AgdaAny]
forall a b. a -> b
coe
             (case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v3 of
                [] -> [AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v1
                [AgdaAny]
_ -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
forall a. a
v4)
      [AgdaAny]
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.intercalate
d_intercalate_84 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> [[AgdaAny]] -> [AgdaAny]
d_intercalate_84 :: T_Level_18 -> T_Level_18 -> [AgdaAny] -> [[AgdaAny]] -> [AgdaAny]
d_intercalate_84 ~T_Level_18
v0 ~T_Level_18
v1 [AgdaAny]
v2 [[AgdaAny]]
v3 = [AgdaAny] -> [[AgdaAny]] -> [AgdaAny]
du_intercalate_84 [AgdaAny]
v2 [[AgdaAny]]
v3
du_intercalate_84 :: [AgdaAny] -> [[AgdaAny]] -> [AgdaAny]
du_intercalate_84 :: [AgdaAny] -> [[AgdaAny]] -> [AgdaAny]
du_intercalate_84 [AgdaAny]
v0 [[AgdaAny]]
v1
  = case [[AgdaAny]] -> [AgdaAny]
forall a b. a -> b
coe [[AgdaAny]]
v1 of
      [] -> [[AgdaAny]] -> [AgdaAny]
forall a b. a -> b
coe [[AgdaAny]]
v1
      (:) AgdaAny
v2 [AgdaAny]
v3
        -> let v4 :: t
v4
                 = ([AgdaAny] -> [AgdaAny] -> [AgdaAny]) -> AgdaAny -> AgdaAny -> t
forall a b. a -> b
coe
                     [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du__'43''43'__60 (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]
du__'43''43'__60 ([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]
du_intercalate_84 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3))) in
           AgdaAny -> [AgdaAny]
forall a b. a -> b
coe
             (case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v3 of
                [] -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v2
                [AgdaAny]
_ -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
forall a. a
v4)
      [AgdaAny]
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.cartesianProductWith
d_cartesianProductWith_98 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  [AgdaAny] -> [AgdaAny] -> [AgdaAny]
d_cartesianProductWith_98 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> AgdaAny -> AgdaAny)
-> [AgdaAny]
-> [AgdaAny]
-> [AgdaAny]
d_cartesianProductWith_98 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18
v3 ~T_Level_18
v4 ~T_Level_18
v5 AgdaAny -> AgdaAny -> AgdaAny
v6 [AgdaAny]
v7 [AgdaAny]
v8
  = (AgdaAny -> AgdaAny -> AgdaAny)
-> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_cartesianProductWith_98 AgdaAny -> AgdaAny -> AgdaAny
v6 [AgdaAny]
v7 [AgdaAny]
v8
du_cartesianProductWith_98 ::
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_cartesianProductWith_98 :: (AgdaAny -> AgdaAny -> AgdaAny)
-> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_cartesianProductWith_98 AgdaAny -> AgdaAny -> AgdaAny
v0 [AgdaAny]
v1 [AgdaAny]
v2
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1 of
      [] -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1
      (:) AgdaAny
v3 [AgdaAny]
v4
        -> ([AgdaAny] -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> [AgdaAny]
forall a b. a -> b
coe
             [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du__'43''43'__60 (((AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny]
du_map_22 ((AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> AgdaAny
v0 AgdaAny
v3) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v2))
             (((AgdaAny -> AgdaAny -> AgdaAny)
 -> [AgdaAny] -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> AgdaAny -> AgdaAny)
-> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_cartesianProductWith_98 ((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]
v2))
      [AgdaAny]
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.cartesianProduct
d_cartesianProduct_110 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  [AgdaAny] -> [AgdaAny] -> [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14]
d_cartesianProduct_110 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [AgdaAny]
-> [AgdaAny]
-> [T_Σ_14]
d_cartesianProduct_110 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18
v3 = [AgdaAny] -> [AgdaAny] -> [T_Σ_14]
du_cartesianProduct_110
du_cartesianProduct_110 ::
  [AgdaAny] -> [AgdaAny] -> [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14]
du_cartesianProduct_110 :: [AgdaAny] -> [AgdaAny] -> [T_Σ_14]
du_cartesianProduct_110
  = ((AgdaAny -> AgdaAny -> AgdaAny)
 -> [AgdaAny] -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> [AgdaAny] -> [AgdaAny] -> [T_Σ_14]
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny -> AgdaAny)
-> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_cartesianProductWith_98
      ((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.Base.alignWith
d_alignWith_112 ::
  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) ->
  [AgdaAny] -> [AgdaAny] -> [AgdaAny]
d_alignWith_112 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (T_These_38 -> AgdaAny)
-> [AgdaAny]
-> [AgdaAny]
-> [AgdaAny]
d_alignWith_112 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18
v3 ~T_Level_18
v4 ~T_Level_18
v5 T_These_38 -> AgdaAny
v6 [AgdaAny]
v7 [AgdaAny]
v8
  = (T_These_38 -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_alignWith_112 T_These_38 -> AgdaAny
v6 [AgdaAny]
v7 [AgdaAny]
v8
du_alignWith_112 ::
  (MAlonzo.Code.Data.These.Base.T_These_38 -> AgdaAny) ->
  [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_alignWith_112 :: (T_These_38 -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_alignWith_112 T_These_38 -> AgdaAny
v0 [AgdaAny]
v1 [AgdaAny]
v2
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1 of
      []
        -> ((AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> [AgdaAny]
forall a b. a -> b
coe
             (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny]
du_map_22
             (((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) -> AgdaAny
forall a b. a -> b
coe T_These_38 -> AgdaAny
v0)
                ((AgdaAny -> T_These_38) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_These_38
MAlonzo.Code.Data.These.Base.C_that_50))
             ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v2)
      (:) AgdaAny
v3 [AgdaAny]
v4
        -> case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v2 of
             []
               -> ((AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> [AgdaAny]
forall a b. a -> b
coe
                    (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny]
du_map_22
                    (((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) -> AgdaAny
forall a b. a -> b
coe T_These_38 -> AgdaAny
v0)
                       ((AgdaAny -> T_These_38) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_These_38
MAlonzo.Code.Data.These.Base.C_this_48))
                    ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v1)
             (:) AgdaAny
v5 [AgdaAny]
v6
               -> (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
                    ((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]
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))
             [AgdaAny]
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
      [AgdaAny]
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.zipWith
d_zipWith_132 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  [AgdaAny] -> [AgdaAny] -> [AgdaAny]
d_zipWith_132 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> AgdaAny -> AgdaAny)
-> [AgdaAny]
-> [AgdaAny]
-> [AgdaAny]
d_zipWith_132 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18
v3 ~T_Level_18
v4 ~T_Level_18
v5 AgdaAny -> AgdaAny -> AgdaAny
v6 [AgdaAny]
v7 [AgdaAny]
v8
  = (AgdaAny -> AgdaAny -> AgdaAny)
-> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_zipWith_132 AgdaAny -> AgdaAny -> AgdaAny
v6 [AgdaAny]
v7 [AgdaAny]
v8
du_zipWith_132 ::
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_zipWith_132 :: (AgdaAny -> AgdaAny -> AgdaAny)
-> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_zipWith_132 AgdaAny -> AgdaAny -> AgdaAny
v0 [AgdaAny]
v1 [AgdaAny]
v2
  = let v3 :: b
v3 = [AgdaAny] -> b
forall a b. a -> b
coe [AgdaAny]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16 in
    AgdaAny -> [AgdaAny]
forall a b. a -> b
coe
      (case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1 of
         (:) AgdaAny
v4 [AgdaAny]
v5
           -> case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v2 of
                (:) AgdaAny
v6 [AgdaAny]
v7
                  -> (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 -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> AgdaAny
v0 AgdaAny
v4 AgdaAny
v6)
                       (((AgdaAny -> AgdaAny -> AgdaAny)
 -> [AgdaAny] -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> AgdaAny -> AgdaAny)
-> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
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]
v5) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v7))
                [AgdaAny]
_ -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
forall a. a
v3
         [AgdaAny]
_ -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
forall a. a
v3)
-- Data.List.Base.unalignWith
d_unalignWith_146 ::
  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) ->
  [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
d_unalignWith_146 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T_These_38)
-> [AgdaAny]
-> T_Σ_14
d_unalignWith_146 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18
v3 ~T_Level_18
v4 ~T_Level_18
v5 AgdaAny -> T_These_38
v6 [AgdaAny]
v7
  = (AgdaAny -> T_These_38) -> [AgdaAny] -> T_Σ_14
du_unalignWith_146 AgdaAny -> T_These_38
v6 [AgdaAny]
v7
du_unalignWith_146 ::
  (AgdaAny -> MAlonzo.Code.Data.These.Base.T_These_38) ->
  [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
du_unalignWith_146 :: (AgdaAny -> T_These_38) -> [AgdaAny] -> T_Σ_14
du_unalignWith_146 AgdaAny -> T_These_38
v0 [AgdaAny]
v1
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1 of
      []
        -> (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]
v1)
      (:) AgdaAny
v2 [AgdaAny]
v3
        -> let v4 :: t
v4 = (AgdaAny -> T_These_38) -> AgdaAny -> t
forall a b. a -> b
coe AgdaAny -> T_These_38
v0 AgdaAny
v2 in
           AgdaAny -> T_Σ_14
forall a b. a -> b
coe
             (case AgdaAny -> T_These_38
forall a b. a -> b
coe AgdaAny
forall a. a
v4 of
                MAlonzo.Code.Data.These.Base.C_this_48 AgdaAny
v5
                  -> ((AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                       (AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14
MAlonzo.Code.Data.Product.du_map'8321'_158
                       ((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
v5))
                       (((AgdaAny -> T_These_38) -> [AgdaAny] -> T_Σ_14)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> T_These_38) -> [AgdaAny] -> T_Σ_14
du_unalignWith_146 ((AgdaAny -> T_These_38) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_These_38
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3))
                MAlonzo.Code.Data.These.Base.C_that_50 AgdaAny
v5
                  -> ((AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14)
-> (AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                       (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14
MAlonzo.Code.Data.Product.du_map'8322'_170
                       (\ AgdaAny
v6 -> (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
v5))
                       (((AgdaAny -> T_These_38) -> [AgdaAny] -> T_Σ_14)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> T_These_38) -> [AgdaAny] -> T_Σ_14
du_unalignWith_146 ((AgdaAny -> T_These_38) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_These_38
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3))
                MAlonzo.Code.Data.These.Base.C_these_52 AgdaAny
v5 AgdaAny
v6
                  -> ((AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14)
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                       (AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14
MAlonzo.Code.Data.Product.du_map_148
                       ((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
v5))
                       ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe
                          (\ AgdaAny
v7 ->
                             (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
v6)))
                       (((AgdaAny -> T_These_38) -> [AgdaAny] -> T_Σ_14)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> T_These_38) -> [AgdaAny] -> T_Σ_14
du_unalignWith_146 ((AgdaAny -> T_These_38) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_These_38
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3))
                T_These_38
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError)
      [AgdaAny]
_ -> T_Σ_14
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.unzipWith
d_unzipWith_194 ::
  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) ->
  [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
d_unzipWith_194 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T_Σ_14)
-> [AgdaAny]
-> T_Σ_14
d_unzipWith_194 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18
v3 ~T_Level_18
v4 ~T_Level_18
v5 AgdaAny -> T_Σ_14
v6 [AgdaAny]
v7
  = (AgdaAny -> T_Σ_14) -> [AgdaAny] -> T_Σ_14
du_unzipWith_194 AgdaAny -> T_Σ_14
v6 [AgdaAny]
v7
du_unzipWith_194 ::
  (AgdaAny -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14) ->
  [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
du_unzipWith_194 :: (AgdaAny -> T_Σ_14) -> [AgdaAny] -> T_Σ_14
du_unzipWith_194 AgdaAny -> T_Σ_14
v0 [AgdaAny]
v1
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1 of
      []
        -> (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]
v1)
      (:) 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] -> [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 -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v4 AgdaAny
v5 -> (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_Σ_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
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))
      [AgdaAny]
_ -> T_Σ_14
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.partitionSumsWith
d_partitionSumsWith_204 ::
  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.Sum.Base.T__'8846'__30) ->
  [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
d_partitionSumsWith_204 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T__'8846'__30)
-> [AgdaAny]
-> T_Σ_14
d_partitionSumsWith_204 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18
v3 ~T_Level_18
v4 ~T_Level_18
v5 AgdaAny -> T__'8846'__30
v6
  = (AgdaAny -> T__'8846'__30) -> [AgdaAny] -> T_Σ_14
du_partitionSumsWith_204 AgdaAny -> T__'8846'__30
v6
du_partitionSumsWith_204 ::
  (AgdaAny -> MAlonzo.Code.Data.Sum.Base.T__'8846'__30) ->
  [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
du_partitionSumsWith_204 :: (AgdaAny -> T__'8846'__30) -> [AgdaAny] -> T_Σ_14
du_partitionSumsWith_204 AgdaAny -> T__'8846'__30
v0
  = ((AgdaAny -> T_These_38) -> [AgdaAny] -> T_Σ_14)
-> AgdaAny -> [AgdaAny] -> T_Σ_14
forall a b. a -> b
coe
      (AgdaAny -> T_These_38) -> [AgdaAny] -> T_Σ_14
du_unalignWith_146
      (((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__'8846'__30 -> T_These_38) -> AgdaAny
forall a b. a -> b
coe T__'8846'__30 -> T_These_38
MAlonzo.Code.Data.These.Base.du_fromSum_54) ((AgdaAny -> T__'8846'__30) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T__'8846'__30
v0))
-- Data.List.Base.align
d_align_208 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  [AgdaAny] -> [AgdaAny] -> [MAlonzo.Code.Data.These.Base.T_These_38]
d_align_208 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [AgdaAny]
-> [AgdaAny]
-> [T_These_38]
d_align_208 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18
v3 = [AgdaAny] -> [AgdaAny] -> [T_These_38]
du_align_208
du_align_208 ::
  [AgdaAny] -> [AgdaAny] -> [MAlonzo.Code.Data.These.Base.T_These_38]
du_align_208 :: [AgdaAny] -> [AgdaAny] -> [T_These_38]
du_align_208 = ((T_These_38 -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> [AgdaAny] -> [AgdaAny] -> [T_These_38]
forall a b. a -> b
coe (T_These_38 -> AgdaAny) -> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_alignWith_112 ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v0 -> AgdaAny
v0))
-- Data.List.Base.zip
d_zip_210 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  [AgdaAny] -> [AgdaAny] -> [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14]
d_zip_210 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [AgdaAny]
-> [AgdaAny]
-> [T_Σ_14]
d_zip_210 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18
v3 = [AgdaAny] -> [AgdaAny] -> [T_Σ_14]
du_zip_210
du_zip_210 ::
  [AgdaAny] -> [AgdaAny] -> [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14]
du_zip_210 :: [AgdaAny] -> [AgdaAny] -> [T_Σ_14]
du_zip_210
  = ((AgdaAny -> AgdaAny -> AgdaAny)
 -> [AgdaAny] -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> [AgdaAny] -> [AgdaAny] -> [T_Σ_14]
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny -> AgdaAny)
-> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_zipWith_132 ((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.Base.unalign
d_unalign_212 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  [MAlonzo.Code.Data.These.Base.T_These_38] ->
  MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
d_unalign_212 :: T_Level_18
-> T_Level_18 -> T_Level_18 -> T_Level_18 -> [T_These_38] -> T_Σ_14
d_unalign_212 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18
v3 = [T_These_38] -> T_Σ_14
du_unalign_212
du_unalign_212 ::
  [MAlonzo.Code.Data.These.Base.T_These_38] ->
  MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
du_unalign_212 :: [T_These_38] -> T_Σ_14
du_unalign_212 = ((AgdaAny -> T_These_38) -> [AgdaAny] -> T_Σ_14)
-> AgdaAny -> [T_These_38] -> T_Σ_14
forall a b. a -> b
coe (AgdaAny -> T_These_38) -> [AgdaAny] -> T_Σ_14
du_unalignWith_146 ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v0 -> AgdaAny
v0))
-- Data.List.Base.unzip
d_unzip_214 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] ->
  MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
d_unzip_214 :: T_Level_18
-> T_Level_18 -> T_Level_18 -> T_Level_18 -> [T_Σ_14] -> T_Σ_14
d_unzip_214 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18
v3 = [T_Σ_14] -> T_Σ_14
du_unzip_214
du_unzip_214 ::
  [MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14] ->
  MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
du_unzip_214 :: [T_Σ_14] -> T_Σ_14
du_unzip_214 = ((AgdaAny -> T_Σ_14) -> [AgdaAny] -> T_Σ_14)
-> AgdaAny -> [T_Σ_14] -> T_Σ_14
forall a b. a -> b
coe (AgdaAny -> T_Σ_14) -> [AgdaAny] -> T_Σ_14
du_unzipWith_194 ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v0 -> AgdaAny
v0))
-- Data.List.Base.partitionSums
d_partitionSums_216 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  [MAlonzo.Code.Data.Sum.Base.T__'8846'__30] ->
  MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
d_partitionSums_216 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> [T__'8846'__30]
-> T_Σ_14
d_partitionSums_216 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18
v3 = [T__'8846'__30] -> T_Σ_14
du_partitionSums_216
du_partitionSums_216 ::
  [MAlonzo.Code.Data.Sum.Base.T__'8846'__30] ->
  MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
du_partitionSums_216 :: [T__'8846'__30] -> T_Σ_14
du_partitionSums_216
  = ((AgdaAny -> T__'8846'__30) -> [AgdaAny] -> T_Σ_14)
-> AgdaAny -> [T__'8846'__30] -> T_Σ_14
forall a b. a -> b
coe (AgdaAny -> T__'8846'__30) -> [AgdaAny] -> T_Σ_14
du_partitionSumsWith_204 ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v0 -> AgdaAny
v0))
-- Data.List.Base.merge
d_merge_220 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (AgdaAny -> AgdaAny -> ()) ->
  (AgdaAny -> AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> [AgdaAny] -> [AgdaAny]
d_merge_220 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> AgdaAny -> T_Level_18)
-> (AgdaAny -> AgdaAny -> T_Dec_32)
-> [AgdaAny]
-> [AgdaAny]
-> [AgdaAny]
d_merge_220 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~AgdaAny -> AgdaAny -> T_Level_18
v3 AgdaAny -> AgdaAny -> T_Dec_32
v4 [AgdaAny]
v5 [AgdaAny]
v6 = (AgdaAny -> AgdaAny -> T_Dec_32)
-> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_merge_220 AgdaAny -> AgdaAny -> T_Dec_32
v4 [AgdaAny]
v5 [AgdaAny]
v6
du_merge_220 ::
  (AgdaAny -> AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_merge_220 :: (AgdaAny -> AgdaAny -> T_Dec_32)
-> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_merge_220 AgdaAny -> AgdaAny -> T_Dec_32
v0 [AgdaAny]
v1 [AgdaAny]
v2
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1 of
      [] -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v2
      (:) AgdaAny
v3 [AgdaAny]
v4
        -> case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v2 of
             [] -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1
             (:) AgdaAny
v5 [AgdaAny]
v6
               -> (Bool -> AgdaAny -> AgdaAny -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny -> [AgdaAny]
forall a b. a -> b
coe
                    Bool -> AgdaAny -> AgdaAny -> AgdaAny
MAlonzo.Code.Data.Bool.Base.du_if_then_else__42
                    ((T_Dec_32 -> Bool) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_Dec_32 -> Bool
MAlonzo.Code.Relation.Nullary.d_does_42 ((AgdaAny -> AgdaAny -> T_Dec_32) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> T_Dec_32
v0 AgdaAny
v3 AgdaAny
v5))
                    ((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
v3)
                       (((AgdaAny -> AgdaAny -> T_Dec_32)
 -> [AgdaAny] -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> AgdaAny -> T_Dec_32)
-> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_merge_220 ((AgdaAny -> AgdaAny -> T_Dec_32) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> T_Dec_32
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v4) ([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]
forall {a}. a -> [a] -> [a]
MAlonzo.Code.Agda.Builtin.List.C__'8759'__22 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v5)
                       (((AgdaAny -> AgdaAny -> T_Dec_32)
 -> [AgdaAny] -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> AgdaAny -> T_Dec_32)
-> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_merge_220 ((AgdaAny -> AgdaAny -> T_Dec_32) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> T_Dec_32
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v1) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v6)))
             [AgdaAny]
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
      [AgdaAny]
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.foldr
d_foldr_240 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
d_foldr_240 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> AgdaAny -> AgdaAny)
-> AgdaAny
-> [AgdaAny]
-> AgdaAny
d_foldr_240 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18
v3 AgdaAny -> AgdaAny -> AgdaAny
v4 AgdaAny
v5 [AgdaAny]
v6 = (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
du_foldr_240 AgdaAny -> AgdaAny -> AgdaAny
v4 AgdaAny
v5 [AgdaAny]
v6
du_foldr_240 ::
  (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
du_foldr_240 :: (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
du_foldr_240 AgdaAny -> AgdaAny -> AgdaAny
v0 AgdaAny
v1 [AgdaAny]
v2
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v2 of
      [] -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1
      (:) AgdaAny
v3 [AgdaAny]
v4
        -> (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> AgdaAny
v0 AgdaAny
v3 (((AgdaAny -> AgdaAny -> AgdaAny)
 -> AgdaAny -> [AgdaAny] -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
du_foldr_240 ((AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> AgdaAny
v0) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v4))
      [AgdaAny]
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.foldl
d_foldl_254 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
d_foldl_254 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> AgdaAny -> AgdaAny)
-> AgdaAny
-> [AgdaAny]
-> AgdaAny
d_foldl_254 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18
v3 AgdaAny -> AgdaAny -> AgdaAny
v4 AgdaAny
v5 [AgdaAny]
v6 = (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
du_foldl_254 AgdaAny -> AgdaAny -> AgdaAny
v4 AgdaAny
v5 [AgdaAny]
v6
du_foldl_254 ::
  (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
du_foldl_254 :: (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
du_foldl_254 AgdaAny -> AgdaAny -> AgdaAny
v0 AgdaAny
v1 [AgdaAny]
v2
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v2 of
      [] -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1
      (:) 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
du_foldl_254 ((AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> AgdaAny
v0) ((AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> AgdaAny
v0 AgdaAny
v1 AgdaAny
v3) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v4)
      [AgdaAny]
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.concat
d_concat_268 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [[AgdaAny]] -> [AgdaAny]
d_concat_268 :: T_Level_18 -> T_Level_18 -> [[AgdaAny]] -> [AgdaAny]
d_concat_268 ~T_Level_18
v0 ~T_Level_18
v1 = [[AgdaAny]] -> [AgdaAny]
du_concat_268
du_concat_268 :: [[AgdaAny]] -> [AgdaAny]
du_concat_268 :: [[AgdaAny]] -> [AgdaAny]
du_concat_268
  = ((AgdaAny -> AgdaAny -> AgdaAny)
 -> AgdaAny -> [AgdaAny] -> AgdaAny)
-> AgdaAny -> AgdaAny -> [[AgdaAny]] -> [AgdaAny]
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
du_foldr_240 (([AgdaAny] -> [AgdaAny] -> [AgdaAny]) -> AgdaAny
forall a b. a -> b
coe [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du__'43''43'__60)
      ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16)
-- Data.List.Base.concatMap
d_concatMap_270 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> (AgdaAny -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
d_concatMap_270 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> [AgdaAny])
-> [AgdaAny]
-> [AgdaAny]
d_concatMap_270 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18
v3 AgdaAny -> [AgdaAny]
v4 [AgdaAny]
v5 = (AgdaAny -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du_concatMap_270 AgdaAny -> [AgdaAny]
v4 [AgdaAny]
v5
du_concatMap_270 ::
  (AgdaAny -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du_concatMap_270 :: (AgdaAny -> [AgdaAny]) -> [AgdaAny] -> [AgdaAny]
du_concatMap_270 AgdaAny -> [AgdaAny]
v0 [AgdaAny]
v1
  = ([[AgdaAny]] -> [AgdaAny]) -> AgdaAny -> [AgdaAny]
forall a b. a -> b
coe [[AgdaAny]] -> [AgdaAny]
du_concat_268 (((AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny]
du_map_22 ((AgdaAny -> [AgdaAny]) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> [AgdaAny]
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v1))
-- Data.List.Base.null
d_null_274 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 -> () -> [AgdaAny] -> Bool
d_null_274 :: T_Level_18 -> T_Level_18 -> [AgdaAny] -> Bool
d_null_274 ~T_Level_18
v0 ~T_Level_18
v1 [AgdaAny]
v2 = [AgdaAny] -> Bool
du_null_274 [AgdaAny]
v2
du_null_274 :: [AgdaAny] -> Bool
du_null_274 :: [AgdaAny] -> Bool
du_null_274 [AgdaAny]
v0
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v0 of
      [] -> Bool -> Bool
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_true_10
      (:) AgdaAny
v1 [AgdaAny]
v2 -> Bool -> Bool
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8
      [AgdaAny]
_ -> Bool
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.and
d_and_280 :: [Bool] -> Bool
d_and_280 :: [Bool] -> Bool
d_and_280
  = ((AgdaAny -> AgdaAny -> AgdaAny)
 -> AgdaAny -> [AgdaAny] -> AgdaAny)
-> AgdaAny -> AgdaAny -> [Bool] -> Bool
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
du_foldr_240 ((Bool -> Bool -> Bool) -> AgdaAny
forall a b. a -> b
coe Bool -> Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d__'8743'__24)
      (Bool -> AgdaAny
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_true_10)
-- Data.List.Base.or
d_or_282 :: [Bool] -> Bool
d_or_282 :: [Bool] -> Bool
d_or_282
  = ((AgdaAny -> AgdaAny -> AgdaAny)
 -> AgdaAny -> [AgdaAny] -> AgdaAny)
-> AgdaAny -> AgdaAny -> [Bool] -> Bool
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
du_foldr_240 ((Bool -> Bool -> Bool) -> AgdaAny
forall a b. a -> b
coe Bool -> Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d__'8744'__30)
      (Bool -> AgdaAny
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8)
-- Data.List.Base.any
d_any_284 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> (AgdaAny -> Bool) -> [AgdaAny] -> Bool
d_any_284 :: T_Level_18 -> T_Level_18 -> (AgdaAny -> Bool) -> [AgdaAny] -> Bool
d_any_284 ~T_Level_18
v0 ~T_Level_18
v1 AgdaAny -> Bool
v2 [AgdaAny]
v3 = (AgdaAny -> Bool) -> [AgdaAny] -> Bool
du_any_284 AgdaAny -> Bool
v2 [AgdaAny]
v3
du_any_284 :: (AgdaAny -> Bool) -> [AgdaAny] -> Bool
du_any_284 :: (AgdaAny -> Bool) -> [AgdaAny] -> Bool
du_any_284 AgdaAny -> Bool
v0 [AgdaAny]
v1 = ([Bool] -> Bool) -> AgdaAny -> Bool
forall a b. a -> b
coe [Bool] -> Bool
d_or_282 (((AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny]
du_map_22 ((AgdaAny -> Bool) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> Bool
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v1))
-- Data.List.Base.all
d_all_288 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> (AgdaAny -> Bool) -> [AgdaAny] -> Bool
d_all_288 :: T_Level_18 -> T_Level_18 -> (AgdaAny -> Bool) -> [AgdaAny] -> Bool
d_all_288 ~T_Level_18
v0 ~T_Level_18
v1 AgdaAny -> Bool
v2 [AgdaAny]
v3 = (AgdaAny -> Bool) -> [AgdaAny] -> Bool
du_all_288 AgdaAny -> Bool
v2 [AgdaAny]
v3
du_all_288 :: (AgdaAny -> Bool) -> [AgdaAny] -> Bool
du_all_288 :: (AgdaAny -> Bool) -> [AgdaAny] -> Bool
du_all_288 AgdaAny -> Bool
v0 [AgdaAny]
v1 = ([Bool] -> Bool) -> AgdaAny -> Bool
forall a b. a -> b
coe [Bool] -> Bool
d_and_280 (((AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny]
du_map_22 ((AgdaAny -> Bool) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> Bool
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v1))
-- Data.List.Base.sum
d_sum_292 :: [Integer] -> Integer
d_sum_292 :: [Integer] -> Integer
d_sum_292 = ((AgdaAny -> AgdaAny -> AgdaAny)
 -> AgdaAny -> [AgdaAny] -> AgdaAny)
-> AgdaAny -> AgdaAny -> [Integer] -> Integer
forall a b. a -> b
coe (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
du_foldr_240 ((Integer -> Integer -> Integer) -> AgdaAny
forall a b. a -> b
coe Integer -> Integer -> Integer
addInt) (Integer -> AgdaAny
forall a b. a -> b
coe (Integer
0 :: Integer))
-- Data.List.Base.product
d_product_294 :: [Integer] -> Integer
d_product_294 :: [Integer] -> Integer
d_product_294 = ((AgdaAny -> AgdaAny -> AgdaAny)
 -> AgdaAny -> [AgdaAny] -> AgdaAny)
-> AgdaAny -> AgdaAny -> [Integer] -> Integer
forall a b. a -> b
coe (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
du_foldr_240 ((Integer -> Integer -> Integer) -> AgdaAny
forall a b. a -> b
coe Integer -> Integer -> Integer
mulInt) (Integer -> AgdaAny
forall a b. a -> b
coe (Integer
1 :: Integer))
-- Data.List.Base.length
d_length_296 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> Integer
d_length_296 :: T_Level_18 -> T_Level_18 -> [AgdaAny] -> Integer
d_length_296 ~T_Level_18
v0 ~T_Level_18
v1 = [AgdaAny] -> Integer
du_length_296
du_length_296 :: [AgdaAny] -> Integer
du_length_296 :: [AgdaAny] -> Integer
du_length_296
  = ((AgdaAny -> AgdaAny -> AgdaAny)
 -> AgdaAny -> [AgdaAny] -> AgdaAny)
-> AgdaAny -> AgdaAny -> [AgdaAny] -> Integer
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
du_foldr_240
      (let v0 :: a -> Integer
v0 = \ a
v0 -> Integer -> Integer -> Integer
addInt (Integer -> Integer
forall a b. a -> b
coe (Integer
1 :: Integer)) (a -> Integer
forall a b. a -> b
coe a
v0) in
       AgdaAny -> AgdaAny
forall a b. a -> b
coe ((AgdaAny -> AgdaAny -> Integer) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v1 -> AgdaAny -> Integer
forall {a}. a -> Integer
v0)))
      (Integer -> AgdaAny
forall a b. a -> b
coe (Integer
0 :: Integer))
-- Data.List.Base.[_]
d_'91'_'93'_298 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> AgdaAny -> [AgdaAny]
d_'91'_'93'_298 :: T_Level_18 -> T_Level_18 -> AgdaAny -> [AgdaAny]
d_'91'_'93'_298 ~T_Level_18
v0 ~T_Level_18
v1 AgdaAny
v2 = AgdaAny -> [AgdaAny]
du_'91'_'93'_298 AgdaAny
v2
du_'91'_'93'_298 :: AgdaAny -> [AgdaAny]
du_'91'_'93'_298 :: AgdaAny -> [AgdaAny]
du_'91'_'93'_298 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
v0)
      ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16)
-- Data.List.Base.fromMaybe
d_fromMaybe_302 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> Maybe AgdaAny -> [AgdaAny]
d_fromMaybe_302 :: T_Level_18 -> T_Level_18 -> Maybe AgdaAny -> [AgdaAny]
d_fromMaybe_302 ~T_Level_18
v0 ~T_Level_18
v1 Maybe AgdaAny
v2 = Maybe AgdaAny -> [AgdaAny]
du_fromMaybe_302 Maybe AgdaAny
v2
du_fromMaybe_302 :: Maybe AgdaAny -> [AgdaAny]
du_fromMaybe_302 :: Maybe AgdaAny -> [AgdaAny]
du_fromMaybe_302 Maybe AgdaAny
v0
  = case Maybe AgdaAny -> Maybe AgdaAny
forall a b. a -> b
coe Maybe AgdaAny
v0 of
      MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 AgdaAny
v1
        -> (AgdaAny -> [AgdaAny]) -> AgdaAny -> [AgdaAny]
forall a b. a -> b
coe AgdaAny -> [AgdaAny]
du_'91'_'93'_298 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1)
      Maybe AgdaAny
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18
        -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16
      Maybe AgdaAny
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.replicate
d_replicate_306 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> Integer -> AgdaAny -> [AgdaAny]
d_replicate_306 :: T_Level_18 -> T_Level_18 -> Integer -> AgdaAny -> [AgdaAny]
d_replicate_306 ~T_Level_18
v0 ~T_Level_18
v1 Integer
v2 AgdaAny
v3 = Integer -> AgdaAny -> [AgdaAny]
du_replicate_306 Integer
v2 AgdaAny
v3
du_replicate_306 :: Integer -> AgdaAny -> [AgdaAny]
du_replicate_306 :: Integer -> AgdaAny -> [AgdaAny]
du_replicate_306 Integer
v0 AgdaAny
v1
  = case Integer -> Integer
forall a b. a -> b
coe Integer
v0 of
      Integer
0 -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16
      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 -> [AgdaAny]
forall a b. a -> b
coe
             ((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)
                ((Integer -> AgdaAny -> [AgdaAny]) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe Integer -> AgdaAny -> [AgdaAny]
du_replicate_306 (Integer -> AgdaAny
forall a b. a -> b
coe Integer
v2) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1)))
-- Data.List.Base.inits
d_inits_314 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> [[AgdaAny]]
d_inits_314 :: T_Level_18 -> T_Level_18 -> [AgdaAny] -> [[AgdaAny]]
d_inits_314 ~T_Level_18
v0 ~T_Level_18
v1 [AgdaAny]
v2 = [AgdaAny] -> [[AgdaAny]]
du_inits_314 [AgdaAny]
v2
du_inits_314 :: [AgdaAny] -> [[AgdaAny]]
du_inits_314 :: [AgdaAny] -> [[AgdaAny]]
du_inits_314 [AgdaAny]
v0
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v0 of
      []
        -> (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]
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v0)
      (:) 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]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16)
             (((AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                (AgdaAny -> AgdaAny) -> [AgdaAny] -> [AgdaAny]
du_map_22
                ((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]]) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe [AgdaAny] -> [[AgdaAny]]
du_inits_314 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v2)))
      [AgdaAny]
_ -> [[AgdaAny]]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.tails
d_tails_322 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> [[AgdaAny]]
d_tails_322 :: T_Level_18 -> T_Level_18 -> [AgdaAny] -> [[AgdaAny]]
d_tails_322 ~T_Level_18
v0 ~T_Level_18
v1 [AgdaAny]
v2 = [AgdaAny] -> [[AgdaAny]]
du_tails_322 [AgdaAny]
v2
du_tails_322 :: [AgdaAny] -> [[AgdaAny]]
du_tails_322 :: [AgdaAny] -> [[AgdaAny]]
du_tails_322 [AgdaAny]
v0
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v0 of
      []
        -> (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]
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v0)
      (:) 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]
v0)
             (([AgdaAny] -> [[AgdaAny]]) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe [AgdaAny] -> [[AgdaAny]]
du_tails_322 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v2))
      [AgdaAny]
_ -> [[AgdaAny]]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.scanr
d_scanr_328 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  AgdaAny -> [AgdaAny] -> [AgdaAny]
d_scanr_328 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> AgdaAny -> AgdaAny)
-> AgdaAny
-> [AgdaAny]
-> [AgdaAny]
d_scanr_328 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18
v3 AgdaAny -> AgdaAny -> AgdaAny
v4 AgdaAny
v5 [AgdaAny]
v6 = (AgdaAny -> AgdaAny -> AgdaAny)
-> AgdaAny -> [AgdaAny] -> [AgdaAny]
du_scanr_328 AgdaAny -> AgdaAny -> AgdaAny
v4 AgdaAny
v5 [AgdaAny]
v6
du_scanr_328 ::
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  AgdaAny -> [AgdaAny] -> [AgdaAny]
du_scanr_328 :: (AgdaAny -> AgdaAny -> AgdaAny)
-> AgdaAny -> [AgdaAny] -> [AgdaAny]
du_scanr_328 AgdaAny -> AgdaAny -> AgdaAny
v0 AgdaAny
v1 [AgdaAny]
v2
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v2 of
      []
        -> (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)
      (:) AgdaAny
v3 [AgdaAny]
v4
        -> let v5 :: t
v5 = ((AgdaAny -> AgdaAny -> AgdaAny)
 -> AgdaAny -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny -> t
forall a b. a -> b
coe (AgdaAny -> AgdaAny -> AgdaAny)
-> AgdaAny -> [AgdaAny] -> [AgdaAny]
du_scanr_328 ((AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> AgdaAny
v0) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v4) 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 -> AgdaAny
forall a b. a -> b
coe AgdaAny
forall a. a
v5
                (:) AgdaAny
v6 [AgdaAny]
v7
                  -> (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 -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> AgdaAny
v0 AgdaAny
v3 AgdaAny
v6)
                       (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
forall a. a
v5)
                [AgdaAny]
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError)
      [AgdaAny]
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.scanl
d_scanl_366 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  AgdaAny -> [AgdaAny] -> [AgdaAny]
d_scanl_366 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> AgdaAny -> AgdaAny)
-> AgdaAny
-> [AgdaAny]
-> [AgdaAny]
d_scanl_366 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~T_Level_18
v3 AgdaAny -> AgdaAny -> AgdaAny
v4 AgdaAny
v5 [AgdaAny]
v6 = (AgdaAny -> AgdaAny -> AgdaAny)
-> AgdaAny -> [AgdaAny] -> [AgdaAny]
du_scanl_366 AgdaAny -> AgdaAny -> AgdaAny
v4 AgdaAny
v5 [AgdaAny]
v6
du_scanl_366 ::
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  AgdaAny -> [AgdaAny] -> [AgdaAny]
du_scanl_366 :: (AgdaAny -> AgdaAny -> AgdaAny)
-> AgdaAny -> [AgdaAny] -> [AgdaAny]
du_scanl_366 AgdaAny -> AgdaAny -> AgdaAny
v0 AgdaAny
v1 [AgdaAny]
v2
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v2 of
      []
        -> (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)
      (:) AgdaAny
v3 [AgdaAny]
v4
        -> (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 -> AgdaAny)
 -> AgdaAny -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> AgdaAny -> AgdaAny)
-> AgdaAny -> [AgdaAny] -> [AgdaAny]
du_scanl_366 ((AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> AgdaAny
v0) ((AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> AgdaAny
v0 AgdaAny
v1 AgdaAny
v3) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v4))
      [AgdaAny]
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.applyUpTo
d_applyUpTo_380 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> (Integer -> AgdaAny) -> Integer -> [AgdaAny]
d_applyUpTo_380 :: T_Level_18
-> T_Level_18 -> (Integer -> AgdaAny) -> Integer -> [AgdaAny]
d_applyUpTo_380 ~T_Level_18
v0 ~T_Level_18
v1 Integer -> AgdaAny
v2 Integer
v3 = (Integer -> AgdaAny) -> Integer -> [AgdaAny]
du_applyUpTo_380 Integer -> AgdaAny
v2 Integer
v3
du_applyUpTo_380 :: (Integer -> AgdaAny) -> Integer -> [AgdaAny]
du_applyUpTo_380 :: (Integer -> AgdaAny) -> Integer -> [AgdaAny]
du_applyUpTo_380 Integer -> AgdaAny
v0 Integer
v1
  = case Integer -> Integer
forall a b. a -> b
coe Integer
v1 of
      Integer
0 -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16
      Integer
_ -> let v2 :: Integer
v2 = Integer -> Integer -> Integer
subInt (Integer -> Integer
forall a b. a -> b
coe Integer
v1) (Integer -> Integer
forall a b. a -> b
coe (Integer
1 :: Integer)) in
           AgdaAny -> [AgdaAny]
forall a b. a -> b
coe
             ((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
                ((Integer -> AgdaAny) -> Integer -> AgdaAny
forall a b. a -> b
coe Integer -> AgdaAny
v0 (Integer
0 :: Integer))
                (((Integer -> AgdaAny) -> Integer -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                   (Integer -> AgdaAny) -> Integer -> [AgdaAny]
du_applyUpTo_380
                   ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v3 -> (Integer -> AgdaAny) -> Integer -> AgdaAny
forall a b. a -> b
coe Integer -> AgdaAny
v0 (Integer -> Integer -> Integer
addInt (Integer -> Integer
forall a b. a -> b
coe (Integer
1 :: Integer)) (AgdaAny -> Integer
forall a b. a -> b
coe AgdaAny
v3))))
                   (Integer -> AgdaAny
forall a b. a -> b
coe Integer
v2)))
-- Data.List.Base.applyDownFrom
d_applyDownFrom_388 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> (Integer -> AgdaAny) -> Integer -> [AgdaAny]
d_applyDownFrom_388 :: T_Level_18
-> T_Level_18 -> (Integer -> AgdaAny) -> Integer -> [AgdaAny]
d_applyDownFrom_388 ~T_Level_18
v0 ~T_Level_18
v1 Integer -> AgdaAny
v2 Integer
v3 = (Integer -> AgdaAny) -> Integer -> [AgdaAny]
du_applyDownFrom_388 Integer -> AgdaAny
v2 Integer
v3
du_applyDownFrom_388 ::
  (Integer -> AgdaAny) -> Integer -> [AgdaAny]
du_applyDownFrom_388 :: (Integer -> AgdaAny) -> Integer -> [AgdaAny]
du_applyDownFrom_388 Integer -> AgdaAny
v0 Integer
v1
  = case Integer -> Integer
forall a b. a -> b
coe Integer
v1 of
      Integer
0 -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16
      Integer
_ -> let v2 :: Integer
v2 = Integer -> Integer -> Integer
subInt (Integer -> Integer
forall a b. a -> b
coe Integer
v1) (Integer -> Integer
forall a b. a -> b
coe (Integer
1 :: Integer)) in
           AgdaAny -> [AgdaAny]
forall a b. a -> b
coe
             ((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 ((Integer -> AgdaAny) -> Integer -> AgdaAny
forall a b. a -> b
coe Integer -> AgdaAny
v0 Integer
v2)
                (((Integer -> AgdaAny) -> Integer -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (Integer -> AgdaAny) -> Integer -> [AgdaAny]
du_applyDownFrom_388 ((Integer -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe Integer -> AgdaAny
v0) (Integer -> AgdaAny
forall a b. a -> b
coe Integer
v2)))
-- Data.List.Base.tabulate
d_tabulate_400 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  Integer ->
  (MAlonzo.Code.Data.Fin.Base.T_Fin_6 -> AgdaAny) -> [AgdaAny]
d_tabulate_400 :: T_Level_18
-> T_Level_18 -> Integer -> (T_Fin_6 -> AgdaAny) -> [AgdaAny]
d_tabulate_400 ~T_Level_18
v0 ~T_Level_18
v1 Integer
v2 T_Fin_6 -> AgdaAny
v3 = Integer -> (T_Fin_6 -> AgdaAny) -> [AgdaAny]
du_tabulate_400 Integer
v2 T_Fin_6 -> AgdaAny
v3
du_tabulate_400 ::
  Integer ->
  (MAlonzo.Code.Data.Fin.Base.T_Fin_6 -> AgdaAny) -> [AgdaAny]
du_tabulate_400 :: Integer -> (T_Fin_6 -> AgdaAny) -> [AgdaAny]
du_tabulate_400 Integer
v0 T_Fin_6 -> AgdaAny
v1
  = case Integer -> Integer
forall a b. a -> b
coe Integer
v0 of
      Integer
0 -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16
      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 -> [AgdaAny]
forall a b. a -> b
coe
             ((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
                ((T_Fin_6 -> AgdaAny) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_Fin_6 -> AgdaAny
v1 (T_Fin_6 -> AgdaAny
forall a b. a -> b
coe T_Fin_6
MAlonzo.Code.Data.Fin.Base.C_zero_10))
                ((Integer -> (T_Fin_6 -> AgdaAny) -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                   Integer -> (T_Fin_6 -> AgdaAny) -> [AgdaAny]
du_tabulate_400 (Integer -> AgdaAny
forall a b. a -> b
coe Integer
v2)
                   ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe
                      (\ AgdaAny
v3 -> (T_Fin_6 -> AgdaAny) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_Fin_6 -> AgdaAny
v1 ((T_Fin_6 -> T_Fin_6) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe T_Fin_6 -> T_Fin_6
MAlonzo.Code.Data.Fin.Base.C_suc_16 AgdaAny
v3)))))
-- Data.List.Base.lookup
d_lookup_410 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> MAlonzo.Code.Data.Fin.Base.T_Fin_6 -> AgdaAny
d_lookup_410 :: T_Level_18 -> T_Level_18 -> [AgdaAny] -> T_Fin_6 -> AgdaAny
d_lookup_410 ~T_Level_18
v0 ~T_Level_18
v1 [AgdaAny]
v2 T_Fin_6
v3 = [AgdaAny] -> T_Fin_6 -> AgdaAny
du_lookup_410 [AgdaAny]
v2 T_Fin_6
v3
du_lookup_410 ::
  [AgdaAny] -> MAlonzo.Code.Data.Fin.Base.T_Fin_6 -> AgdaAny
du_lookup_410 :: [AgdaAny] -> T_Fin_6 -> AgdaAny
du_lookup_410 [AgdaAny]
v0 T_Fin_6
v1
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v0 of
      (:) AgdaAny
v2 [AgdaAny]
v3
        -> case T_Fin_6 -> T_Fin_6
forall a b. a -> b
coe T_Fin_6
v1 of
             T_Fin_6
MAlonzo.Code.Data.Fin.Base.C_zero_10 -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v2
             MAlonzo.Code.Data.Fin.Base.C_suc_16 T_Fin_6
v5
               -> ([AgdaAny] -> T_Fin_6 -> AgdaAny) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe [AgdaAny] -> T_Fin_6 -> AgdaAny
du_lookup_410 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3) (T_Fin_6 -> AgdaAny
forall a b. a -> b
coe T_Fin_6
v5)
             T_Fin_6
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
      [AgdaAny]
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.upTo
d_upTo_422 :: Integer -> [Integer]
d_upTo_422 :: Integer -> [Integer]
d_upTo_422 = ((Integer -> AgdaAny) -> Integer -> [AgdaAny])
-> AgdaAny -> Integer -> [Integer]
forall a b. a -> b
coe (Integer -> AgdaAny) -> Integer -> [AgdaAny]
du_applyUpTo_380 ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v0 -> AgdaAny
v0))
-- Data.List.Base.downFrom
d_downFrom_424 :: Integer -> [Integer]
d_downFrom_424 :: Integer -> [Integer]
d_downFrom_424 = ((Integer -> AgdaAny) -> Integer -> [AgdaAny])
-> AgdaAny -> Integer -> [Integer]
forall a b. a -> b
coe (Integer -> AgdaAny) -> Integer -> [AgdaAny]
du_applyDownFrom_388 ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v0 -> AgdaAny
v0))
-- Data.List.Base.allFin
d_allFin_428 :: Integer -> [MAlonzo.Code.Data.Fin.Base.T_Fin_6]
d_allFin_428 :: Integer -> [T_Fin_6]
d_allFin_428 Integer
v0 = (Integer -> (T_Fin_6 -> AgdaAny) -> [AgdaAny])
-> AgdaAny -> AgdaAny -> [T_Fin_6]
forall a b. a -> b
coe Integer -> (T_Fin_6 -> AgdaAny) -> [AgdaAny]
du_tabulate_400 (Integer -> AgdaAny
forall a b. a -> b
coe Integer
v0) ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v1 -> AgdaAny
v1))
-- Data.List.Base.unfold
d_unfold_440 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (Integer -> ()) ->
  (Integer ->
   AgdaAny -> Maybe MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14) ->
  Integer -> AgdaAny -> [AgdaAny]
d_unfold_440 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> (Integer -> T_Level_18)
-> (Integer -> AgdaAny -> Maybe T_Σ_14)
-> Integer
-> AgdaAny
-> [AgdaAny]
d_unfold_440 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~Integer -> T_Level_18
v3 Integer -> AgdaAny -> Maybe T_Σ_14
v4 Integer
v5 AgdaAny
v6 = (Integer -> AgdaAny -> Maybe T_Σ_14)
-> Integer -> AgdaAny -> [AgdaAny]
du_unfold_440 Integer -> AgdaAny -> Maybe T_Σ_14
v4 Integer
v5 AgdaAny
v6
du_unfold_440 ::
  (Integer ->
   AgdaAny -> Maybe MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14) ->
  Integer -> AgdaAny -> [AgdaAny]
du_unfold_440 :: (Integer -> AgdaAny -> Maybe T_Σ_14)
-> Integer -> AgdaAny -> [AgdaAny]
du_unfold_440 Integer -> AgdaAny -> Maybe T_Σ_14
v0 Integer
v1 AgdaAny
v2
  = case Integer -> Integer
forall a b. a -> b
coe Integer
v1 of
      Integer
0 -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16
      Integer
_ -> let v3 :: Integer
v3 = Integer -> Integer -> Integer
subInt (Integer -> Integer
forall a b. a -> b
coe Integer
v1) (Integer -> Integer
forall a b. a -> b
coe (Integer
1 :: Integer)) in
           AgdaAny -> [AgdaAny]
forall a b. a -> b
coe
             (let v4 :: t
v4 = (Integer -> AgdaAny -> Maybe T_Σ_14) -> Integer -> AgdaAny -> t
forall a b. a -> b
coe Integer -> AgdaAny -> Maybe T_Σ_14
v0 Integer
v3 AgdaAny
v2 in
              AgdaAny -> AgdaAny
forall a b. a -> b
coe
                (case AgdaAny -> Maybe AgdaAny
forall a b. a -> b
coe AgdaAny
forall a. a
v4 of
                   MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 AgdaAny
v5
                     -> case AgdaAny -> T_Σ_14
forall a b. a -> b
coe AgdaAny
v5 of
                          MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 AgdaAny
v6 AgdaAny
v7
                            -> (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
v6)
                                 (((Integer -> AgdaAny -> Maybe T_Σ_14)
 -> Integer -> AgdaAny -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (Integer -> AgdaAny -> Maybe T_Σ_14)
-> Integer -> AgdaAny -> [AgdaAny]
du_unfold_440 ((Integer -> AgdaAny -> Maybe T_Σ_14) -> AgdaAny
forall a b. a -> b
coe Integer -> AgdaAny -> Maybe T_Σ_14
v0) (Integer -> AgdaAny
forall a b. a -> b
coe Integer
v3) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v7))
                          T_Σ_14
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
                   Maybe AgdaAny
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18
                     -> [AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16
                   Maybe AgdaAny
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError))
-- Data.List.Base.uncons
d_uncons_480 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> Maybe MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
d_uncons_480 :: T_Level_18 -> T_Level_18 -> [AgdaAny] -> Maybe T_Σ_14
d_uncons_480 ~T_Level_18
v0 ~T_Level_18
v1 [AgdaAny]
v2 = [AgdaAny] -> Maybe T_Σ_14
du_uncons_480 [AgdaAny]
v2
du_uncons_480 ::
  [AgdaAny] -> Maybe MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
du_uncons_480 :: [AgdaAny] -> Maybe T_Σ_14
du_uncons_480 [AgdaAny]
v0
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v0 of
      [] -> Maybe AgdaAny -> Maybe T_Σ_14
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_Σ_14
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_Σ_14) -> AgdaAny -> AgdaAny -> AgdaAny
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))
      [AgdaAny]
_ -> Maybe T_Σ_14
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.head
d_head_486 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> Maybe AgdaAny
d_head_486 :: T_Level_18 -> T_Level_18 -> [AgdaAny] -> Maybe AgdaAny
d_head_486 ~T_Level_18
v0 ~T_Level_18
v1 [AgdaAny]
v2 = [AgdaAny] -> Maybe AgdaAny
du_head_486 [AgdaAny]
v2
du_head_486 :: [AgdaAny] -> Maybe AgdaAny
du_head_486 :: [AgdaAny] -> Maybe AgdaAny
du_head_486 [AgdaAny]
v0
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v0 of
      [] -> Maybe AgdaAny -> Maybe AgdaAny
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 AgdaAny
forall a b. a -> b
coe AgdaAny -> Maybe AgdaAny
forall {a}. a -> Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1)
      [AgdaAny]
_ -> Maybe AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.tail
d_tail_490 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> Maybe [AgdaAny]
d_tail_490 :: T_Level_18 -> T_Level_18 -> [AgdaAny] -> Maybe [AgdaAny]
d_tail_490 ~T_Level_18
v0 ~T_Level_18
v1 [AgdaAny]
v2 = [AgdaAny] -> Maybe [AgdaAny]
du_tail_490 [AgdaAny]
v2
du_tail_490 :: [AgdaAny] -> Maybe [AgdaAny]
du_tail_490 :: [AgdaAny] -> Maybe [AgdaAny]
du_tail_490 [AgdaAny]
v0
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v0 of
      [] -> Maybe AgdaAny -> Maybe [AgdaAny]
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 [AgdaAny]
forall a b. a -> b
coe AgdaAny -> Maybe AgdaAny
forall {a}. a -> Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v2)
      [AgdaAny]
_ -> Maybe [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.last
d_last_494 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> Maybe AgdaAny
d_last_494 :: T_Level_18 -> T_Level_18 -> [AgdaAny] -> Maybe AgdaAny
d_last_494 ~T_Level_18
v0 ~T_Level_18
v1 [AgdaAny]
v2 = [AgdaAny] -> Maybe AgdaAny
du_last_494 [AgdaAny]
v2
du_last_494 :: [AgdaAny] -> Maybe AgdaAny
du_last_494 :: [AgdaAny] -> Maybe AgdaAny
du_last_494 [AgdaAny]
v0
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v0 of
      [] -> Maybe AgdaAny -> Maybe AgdaAny
forall a b. a -> b
coe Maybe AgdaAny
forall {a}. Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18
      (:) AgdaAny
v1 [AgdaAny]
v2
        -> let v3 :: t
v3 = ([AgdaAny] -> Maybe AgdaAny) -> AgdaAny -> t
forall a b. a -> b
coe [AgdaAny] -> Maybe AgdaAny
du_last_494 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v2) in
           AgdaAny -> Maybe AgdaAny
forall a b. a -> b
coe
             (case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v2 of
                [] -> (AgdaAny -> Maybe AgdaAny) -> 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 -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1)
                [AgdaAny]
_ -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
forall a. a
v3)
      [AgdaAny]
_ -> Maybe AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.take
d_take_500 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> Integer -> [AgdaAny] -> [AgdaAny]
d_take_500 :: T_Level_18 -> T_Level_18 -> Integer -> [AgdaAny] -> [AgdaAny]
d_take_500 ~T_Level_18
v0 ~T_Level_18
v1 Integer
v2 [AgdaAny]
v3 = Integer -> [AgdaAny] -> [AgdaAny]
du_take_500 Integer
v2 [AgdaAny]
v3
du_take_500 :: Integer -> [AgdaAny] -> [AgdaAny]
du_take_500 :: Integer -> [AgdaAny] -> [AgdaAny]
du_take_500 Integer
v0 [AgdaAny]
v1
  = case Integer -> Integer
forall a b. a -> b
coe Integer
v0 of
      Integer
0 -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16
      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 -> [AgdaAny]
forall a b. a -> b
coe
             (case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1 of
                [] -> [AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v1
                (:) AgdaAny
v3 [AgdaAny]
v4
                  -> (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
v3)
                       ((Integer -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe Integer -> [AgdaAny] -> [AgdaAny]
du_take_500 (Integer -> AgdaAny
forall a b. a -> b
coe Integer
v2) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v4))
                [AgdaAny]
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError)
-- Data.List.Base.drop
d_drop_512 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> Integer -> [AgdaAny] -> [AgdaAny]
d_drop_512 :: T_Level_18 -> T_Level_18 -> Integer -> [AgdaAny] -> [AgdaAny]
d_drop_512 ~T_Level_18
v0 ~T_Level_18
v1 Integer
v2 [AgdaAny]
v3 = Integer -> [AgdaAny] -> [AgdaAny]
du_drop_512 Integer
v2 [AgdaAny]
v3
du_drop_512 :: Integer -> [AgdaAny] -> [AgdaAny]
du_drop_512 :: Integer -> [AgdaAny] -> [AgdaAny]
du_drop_512 Integer
v0 [AgdaAny]
v1
  = case Integer -> Integer
forall a b. a -> b
coe Integer
v0 of
      Integer
0 -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
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 -> [AgdaAny]
forall a b. a -> b
coe
             (case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1 of
                [] -> [AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v1
                (:) AgdaAny
v3 [AgdaAny]
v4 -> (Integer -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe Integer -> [AgdaAny] -> [AgdaAny]
du_drop_512 (Integer -> AgdaAny
forall a b. a -> b
coe Integer
v2) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v4)
                [AgdaAny]
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError)
-- Data.List.Base.splitAt
d_splitAt_524 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  Integer -> [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
d_splitAt_524 :: T_Level_18 -> T_Level_18 -> Integer -> [AgdaAny] -> T_Σ_14
d_splitAt_524 ~T_Level_18
v0 ~T_Level_18
v1 Integer
v2 [AgdaAny]
v3 = Integer -> [AgdaAny] -> T_Σ_14
du_splitAt_524 Integer
v2 [AgdaAny]
v3
du_splitAt_524 ::
  Integer -> [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
du_splitAt_524 :: Integer -> [AgdaAny] -> T_Σ_14
du_splitAt_524 Integer
v0 [AgdaAny]
v1
  = case Integer -> Integer
forall a b. a -> b
coe Integer
v0 of
      Integer
0 -> (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]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
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_Σ_14
forall a b. a -> b
coe
             (case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1 of
                []
                  -> (AgdaAny -> AgdaAny -> T_Σ_14) -> AgdaAny -> AgdaAny -> AgdaAny
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]
v1)
                (:) AgdaAny
v3 [AgdaAny]
v4
                  -> let v5 :: t
v5 = (Integer -> [AgdaAny] -> T_Σ_14) -> AgdaAny -> AgdaAny -> t
forall a b. a -> b
coe Integer -> [AgdaAny] -> T_Σ_14
du_splitAt_524 (Integer -> AgdaAny
forall a b. a -> b
coe Integer
v2) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v4) in
                     AgdaAny -> AgdaAny
forall a b. a -> b
coe
                       (case AgdaAny -> T_Σ_14
forall a b. a -> b
coe AgdaAny
forall a. a
v5 of
                          MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 AgdaAny
v6 AgdaAny
v7
                            -> (AgdaAny -> AgdaAny -> T_Σ_14) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                 AgdaAny -> AgdaAny -> T_Σ_14
MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32
                                 ((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
v3) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v6))
                                 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v7)
                          T_Σ_14
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError)
                [AgdaAny]
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError)
-- Data.List.Base.takeWhile
d_takeWhile_552 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (AgdaAny -> ()) ->
  (AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> [AgdaAny]
d_takeWhile_552 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T_Level_18)
-> (AgdaAny -> T_Dec_32)
-> [AgdaAny]
-> [AgdaAny]
d_takeWhile_552 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~AgdaAny -> T_Level_18
v3 AgdaAny -> T_Dec_32
v4 [AgdaAny]
v5 = (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny]
du_takeWhile_552 AgdaAny -> T_Dec_32
v4 [AgdaAny]
v5
du_takeWhile_552 ::
  (AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> [AgdaAny]
du_takeWhile_552 :: (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny]
du_takeWhile_552 AgdaAny -> T_Dec_32
v0 [AgdaAny]
v1
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1 of
      [] -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1
      (:) AgdaAny
v2 [AgdaAny]
v3
        -> let v4 :: Bool
v4 = T_Dec_32 -> Bool
MAlonzo.Code.Relation.Nullary.d_does_42 ((AgdaAny -> T_Dec_32) -> AgdaAny -> T_Dec_32
forall a b. a -> b
coe AgdaAny -> T_Dec_32
v0 AgdaAny
v2) in
           AgdaAny -> [AgdaAny]
forall a b. a -> b
coe
             (if Bool -> Bool
forall a b. a -> b
coe Bool
v4
                then (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 -> T_Dec_32) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny]
du_takeWhile_552 ((AgdaAny -> T_Dec_32) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_Dec_32
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3))
                else [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. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.dropWhile
d_dropWhile_580 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (AgdaAny -> ()) ->
  (AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> [AgdaAny]
d_dropWhile_580 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T_Level_18)
-> (AgdaAny -> T_Dec_32)
-> [AgdaAny]
-> [AgdaAny]
d_dropWhile_580 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~AgdaAny -> T_Level_18
v3 AgdaAny -> T_Dec_32
v4 [AgdaAny]
v5 = (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny]
du_dropWhile_580 AgdaAny -> T_Dec_32
v4 [AgdaAny]
v5
du_dropWhile_580 ::
  (AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> [AgdaAny]
du_dropWhile_580 :: (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny]
du_dropWhile_580 AgdaAny -> T_Dec_32
v0 [AgdaAny]
v1
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1 of
      [] -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1
      (:) AgdaAny
v2 [AgdaAny]
v3
        -> let v4 :: Bool
v4 = T_Dec_32 -> Bool
MAlonzo.Code.Relation.Nullary.d_does_42 ((AgdaAny -> T_Dec_32) -> AgdaAny -> T_Dec_32
forall a b. a -> b
coe AgdaAny -> T_Dec_32
v0 AgdaAny
v2) in
           AgdaAny -> [AgdaAny]
forall a b. a -> b
coe
             (if Bool -> Bool
forall a b. a -> b
coe Bool
v4 then ((AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny]
du_dropWhile_580 ((AgdaAny -> T_Dec_32) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_Dec_32
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3) else [AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v1)
      [AgdaAny]
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.filter
d_filter_608 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (AgdaAny -> ()) ->
  (AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> [AgdaAny]
d_filter_608 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T_Level_18)
-> (AgdaAny -> T_Dec_32)
-> [AgdaAny]
-> [AgdaAny]
d_filter_608 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~AgdaAny -> T_Level_18
v3 AgdaAny -> T_Dec_32
v4 [AgdaAny]
v5 = (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny]
du_filter_608 AgdaAny -> T_Dec_32
v4 [AgdaAny]
v5
du_filter_608 ::
  (AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> [AgdaAny]
du_filter_608 :: (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny]
du_filter_608 AgdaAny -> T_Dec_32
v0 [AgdaAny]
v1
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1 of
      [] -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1
      (:) AgdaAny
v2 [AgdaAny]
v3
        -> let v4 :: Bool
v4 = T_Dec_32 -> Bool
MAlonzo.Code.Relation.Nullary.d_does_42 ((AgdaAny -> T_Dec_32) -> AgdaAny -> T_Dec_32
forall a b. a -> b
coe AgdaAny -> T_Dec_32
v0 AgdaAny
v2) in
           AgdaAny -> [AgdaAny]
forall a b. a -> b
coe
             (if Bool -> Bool
forall a b. a -> b
coe Bool
v4
                then (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 -> T_Dec_32) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny]
du_filter_608 ((AgdaAny -> T_Dec_32) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_Dec_32
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3))
                else ((AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny]
du_filter_608 ((AgdaAny -> T_Dec_32) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_Dec_32
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3))
      [AgdaAny]
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.partition
d_partition_636 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (AgdaAny -> ()) ->
  (AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
d_partition_636 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T_Level_18)
-> (AgdaAny -> T_Dec_32)
-> [AgdaAny]
-> T_Σ_14
d_partition_636 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~AgdaAny -> T_Level_18
v3 AgdaAny -> T_Dec_32
v4 [AgdaAny]
v5 = (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Σ_14
du_partition_636 AgdaAny -> T_Dec_32
v4 [AgdaAny]
v5
du_partition_636 ::
  (AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
du_partition_636 :: (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Σ_14
du_partition_636 AgdaAny -> T_Dec_32
v0 [AgdaAny]
v1
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1 of
      []
        -> (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]
v1)
      (:) AgdaAny
v2 [AgdaAny]
v3
        -> let v4 :: Bool
v4 = T_Dec_32 -> Bool
MAlonzo.Code.Relation.Nullary.d_does_42 ((AgdaAny -> T_Dec_32) -> AgdaAny -> T_Dec_32
forall a b. a -> b
coe AgdaAny -> T_Dec_32
v0 AgdaAny
v2) in
           AgdaAny -> T_Σ_14
forall a b. a -> b
coe
             (let v5 :: t
v5 = ((AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Σ_14)
-> AgdaAny -> AgdaAny -> t
forall a b. a -> b
coe (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Σ_14
du_partition_636 ((AgdaAny -> T_Dec_32) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_Dec_32
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3) in
              AgdaAny -> AgdaAny
forall a b. a -> b
coe
                (if Bool -> Bool
forall a b. a -> b
coe Bool
v4
                   then case AgdaAny -> T_Σ_14
forall a b. a -> b
coe AgdaAny
forall a. a
v5 of
                          MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 AgdaAny
v6 AgdaAny
v7
                            -> (AgdaAny -> AgdaAny -> T_Σ_14) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                 AgdaAny -> AgdaAny -> T_Σ_14
MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32
                                 ((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
v6))
                                 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v7)
                          T_Σ_14
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
                   else (case AgdaAny -> T_Σ_14
forall a b. a -> b
coe AgdaAny
forall a. a
v5 of
                           MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 AgdaAny
v6 AgdaAny
v7
                             -> (AgdaAny -> AgdaAny -> T_Σ_14) -> AgdaAny -> AgdaAny -> AgdaAny
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
v6)
                                  ((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
v7))
                           T_Σ_14
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError)))
      [AgdaAny]
_ -> T_Σ_14
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.span
d_span_672 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (AgdaAny -> ()) ->
  (AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
d_span_672 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T_Level_18)
-> (AgdaAny -> T_Dec_32)
-> [AgdaAny]
-> T_Σ_14
d_span_672 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~AgdaAny -> T_Level_18
v3 AgdaAny -> T_Dec_32
v4 [AgdaAny]
v5 = (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Σ_14
du_span_672 AgdaAny -> T_Dec_32
v4 [AgdaAny]
v5
du_span_672 ::
  (AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
du_span_672 :: (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Σ_14
du_span_672 AgdaAny -> T_Dec_32
v0 [AgdaAny]
v1
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1 of
      []
        -> (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]
v1)
      (:) AgdaAny
v2 [AgdaAny]
v3
        -> let v4 :: Bool
v4 = T_Dec_32 -> Bool
MAlonzo.Code.Relation.Nullary.d_does_42 ((AgdaAny -> T_Dec_32) -> AgdaAny -> T_Dec_32
forall a b. a -> b
coe AgdaAny -> T_Dec_32
v0 AgdaAny
v2) in
           AgdaAny -> T_Σ_14
forall a b. a -> b
coe
             (if Bool -> Bool
forall a b. a -> b
coe Bool
v4
                then ((AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14)
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                       (AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14
MAlonzo.Code.Data.Product.du_map_148
                       ((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 -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v5 AgdaAny
v6 -> AgdaAny
v6)) (((AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Σ_14)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Σ_14
du_span_672 ((AgdaAny -> T_Dec_32) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_Dec_32
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3))
                else (AgdaAny -> AgdaAny -> T_Σ_14) -> AgdaAny -> AgdaAny -> AgdaAny
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]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v1))
      [AgdaAny]
_ -> T_Σ_14
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.break
d_break_702 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (AgdaAny -> ()) ->
  (AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
d_break_702 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T_Level_18)
-> (AgdaAny -> T_Dec_32)
-> [AgdaAny]
-> T_Σ_14
d_break_702 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~AgdaAny -> T_Level_18
v3 AgdaAny -> T_Dec_32
v4 = (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Σ_14
du_break_702 AgdaAny -> T_Dec_32
v4
du_break_702 ::
  (AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
du_break_702 :: (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Σ_14
du_break_702 AgdaAny -> T_Dec_32
v0
  = ((AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Σ_14)
-> AgdaAny -> [AgdaAny] -> T_Σ_14
forall a b. a -> b
coe
      (AgdaAny -> T_Dec_32) -> [AgdaAny] -> T_Σ_14
du_span_672
      (((AgdaAny -> T_Dec_32) -> AgdaAny -> T_Dec_32)
-> AgdaAny -> AgdaAny
forall a b. a -> b
coe
         (AgdaAny -> T_Dec_32) -> AgdaAny -> T_Dec_32
MAlonzo.Code.Relation.Unary.Properties.du_'8705''63'_74 ((AgdaAny -> T_Dec_32) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_Dec_32
v0))
-- Data.List.Base.derun
d_derun_708 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (AgdaAny -> AgdaAny -> ()) ->
  (AgdaAny -> AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> [AgdaAny]
d_derun_708 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> AgdaAny -> T_Level_18)
-> (AgdaAny -> AgdaAny -> T_Dec_32)
-> [AgdaAny]
-> [AgdaAny]
d_derun_708 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~AgdaAny -> AgdaAny -> T_Level_18
v3 AgdaAny -> AgdaAny -> T_Dec_32
v4 [AgdaAny]
v5 = (AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny]
du_derun_708 AgdaAny -> AgdaAny -> T_Dec_32
v4 [AgdaAny]
v5
du_derun_708 ::
  (AgdaAny -> AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> [AgdaAny]
du_derun_708 :: (AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny]
du_derun_708 AgdaAny -> AgdaAny -> T_Dec_32
v0 [AgdaAny]
v1
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1 of
      [] -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1
      (:) AgdaAny
v2 [AgdaAny]
v3
        -> case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v3 of
             [] -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1
             (:) AgdaAny
v4 [AgdaAny]
v5
               -> let v6 :: Bool
v6
                        = T_Dec_32 -> Bool
MAlonzo.Code.Relation.Nullary.d_does_42 ((AgdaAny -> AgdaAny -> T_Dec_32) -> AgdaAny -> AgdaAny -> T_Dec_32
forall a b. a -> b
coe AgdaAny -> AgdaAny -> T_Dec_32
v0 AgdaAny
v2 AgdaAny
v4) in
                  AgdaAny -> [AgdaAny]
forall a b. a -> b
coe
                    (let v7 :: t
v7 = ((AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> t
forall a b. a -> b
coe (AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny]
du_derun_708 ((AgdaAny -> AgdaAny -> T_Dec_32) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> T_Dec_32
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3) in
                     AgdaAny -> AgdaAny
forall a b. a -> b
coe
                       (if Bool -> Bool
forall a b. a -> b
coe Bool
v6
                          then AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
forall a. a
v7
                          else (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
forall a. a
v7)))
             [AgdaAny]
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
      [AgdaAny]
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.deduplicate
d_deduplicate_750 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (AgdaAny -> AgdaAny -> ()) ->
  (AgdaAny -> AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> [AgdaAny]
d_deduplicate_750 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> AgdaAny -> T_Level_18)
-> (AgdaAny -> AgdaAny -> T_Dec_32)
-> [AgdaAny]
-> [AgdaAny]
d_deduplicate_750 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~AgdaAny -> AgdaAny -> T_Level_18
v3 AgdaAny -> AgdaAny -> T_Dec_32
v4 [AgdaAny]
v5 = (AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny]
du_deduplicate_750 AgdaAny -> AgdaAny -> T_Dec_32
v4 [AgdaAny]
v5
du_deduplicate_750 ::
  (AgdaAny -> AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> [AgdaAny]
du_deduplicate_750 :: (AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny]
du_deduplicate_750 AgdaAny -> AgdaAny -> T_Dec_32
v0 [AgdaAny]
v1
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1 of
      [] -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1
      (:) AgdaAny
v2 [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
v2)
             (((AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny]
du_filter_608
                ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe
                   (\ AgdaAny
v4 ->
                      (T_Dec_32 -> T_Dec_32) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                        T_Dec_32 -> T_Dec_32
MAlonzo.Code.Relation.Nullary.Negation.Core.du_'172''63'_64
                        ((AgdaAny -> AgdaAny -> T_Dec_32) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> T_Dec_32
v0 AgdaAny
v2 AgdaAny
v4)))
                (((AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny]
du_deduplicate_750 ((AgdaAny -> AgdaAny -> T_Dec_32) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny -> T_Dec_32
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3)))
      [AgdaAny]
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base._[_]%=_
d__'91'_'93''37''61'__762 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  [AgdaAny] ->
  MAlonzo.Code.Data.Fin.Base.T_Fin_6 ->
  (AgdaAny -> AgdaAny) -> [AgdaAny]
d__'91'_'93''37''61'__762 :: T_Level_18
-> T_Level_18
-> [AgdaAny]
-> T_Fin_6
-> (AgdaAny -> AgdaAny)
-> [AgdaAny]
d__'91'_'93''37''61'__762 ~T_Level_18
v0 ~T_Level_18
v1 [AgdaAny]
v2 T_Fin_6
v3 AgdaAny -> AgdaAny
v4
  = [AgdaAny] -> T_Fin_6 -> (AgdaAny -> AgdaAny) -> [AgdaAny]
du__'91'_'93''37''61'__762 [AgdaAny]
v2 T_Fin_6
v3 AgdaAny -> AgdaAny
v4
du__'91'_'93''37''61'__762 ::
  [AgdaAny] ->
  MAlonzo.Code.Data.Fin.Base.T_Fin_6 ->
  (AgdaAny -> AgdaAny) -> [AgdaAny]
du__'91'_'93''37''61'__762 :: [AgdaAny] -> T_Fin_6 -> (AgdaAny -> AgdaAny) -> [AgdaAny]
du__'91'_'93''37''61'__762 [AgdaAny]
v0 T_Fin_6
v1 AgdaAny -> AgdaAny
v2
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v0 of
      (:) AgdaAny
v3 [AgdaAny]
v4
        -> case T_Fin_6 -> T_Fin_6
forall a b. a -> b
coe T_Fin_6
v1 of
             T_Fin_6
MAlonzo.Code.Data.Fin.Base.C_zero_10
               -> (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) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny
v2 AgdaAny
v3) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v4)
             MAlonzo.Code.Data.Fin.Base.C_suc_16 T_Fin_6
v6
               -> (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
v3)
                    (([AgdaAny] -> T_Fin_6 -> (AgdaAny -> AgdaAny) -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe [AgdaAny] -> T_Fin_6 -> (AgdaAny -> AgdaAny) -> [AgdaAny]
du__'91'_'93''37''61'__762 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v4) (T_Fin_6 -> AgdaAny
forall a b. a -> b
coe T_Fin_6
v6) ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> AgdaAny
v2))
             T_Fin_6
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
      [AgdaAny]
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base._[_]∷=_
d__'91'_'93''8759''61'__780 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  [AgdaAny] ->
  MAlonzo.Code.Data.Fin.Base.T_Fin_6 -> AgdaAny -> [AgdaAny]
d__'91'_'93''8759''61'__780 :: T_Level_18
-> T_Level_18 -> [AgdaAny] -> T_Fin_6 -> AgdaAny -> [AgdaAny]
d__'91'_'93''8759''61'__780 ~T_Level_18
v0 ~T_Level_18
v1 [AgdaAny]
v2 T_Fin_6
v3 AgdaAny
v4
  = [AgdaAny] -> T_Fin_6 -> AgdaAny -> [AgdaAny]
du__'91'_'93''8759''61'__780 [AgdaAny]
v2 T_Fin_6
v3 AgdaAny
v4
du__'91'_'93''8759''61'__780 ::
  [AgdaAny] ->
  MAlonzo.Code.Data.Fin.Base.T_Fin_6 -> AgdaAny -> [AgdaAny]
du__'91'_'93''8759''61'__780 :: [AgdaAny] -> T_Fin_6 -> AgdaAny -> [AgdaAny]
du__'91'_'93''8759''61'__780 [AgdaAny]
v0 T_Fin_6
v1 AgdaAny
v2
  = ([AgdaAny] -> T_Fin_6 -> (AgdaAny -> AgdaAny) -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny -> [AgdaAny]
forall a b. a -> b
coe
      [AgdaAny] -> T_Fin_6 -> (AgdaAny -> AgdaAny) -> [AgdaAny]
du__'91'_'93''37''61'__762 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v0) (T_Fin_6 -> AgdaAny
forall a b. a -> b
coe T_Fin_6
v1) ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v3 -> AgdaAny
v2))
-- Data.List.Base._─_
d__'9472'__790 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> MAlonzo.Code.Data.Fin.Base.T_Fin_6 -> [AgdaAny]
d__'9472'__790 :: T_Level_18 -> T_Level_18 -> [AgdaAny] -> T_Fin_6 -> [AgdaAny]
d__'9472'__790 ~T_Level_18
v0 ~T_Level_18
v1 [AgdaAny]
v2 T_Fin_6
v3 = [AgdaAny] -> T_Fin_6 -> [AgdaAny]
du__'9472'__790 [AgdaAny]
v2 T_Fin_6
v3
du__'9472'__790 ::
  [AgdaAny] -> MAlonzo.Code.Data.Fin.Base.T_Fin_6 -> [AgdaAny]
du__'9472'__790 :: [AgdaAny] -> T_Fin_6 -> [AgdaAny]
du__'9472'__790 [AgdaAny]
v0 T_Fin_6
v1
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v0 of
      (:) AgdaAny
v2 [AgdaAny]
v3
        -> case T_Fin_6 -> T_Fin_6
forall a b. a -> b
coe T_Fin_6
v1 of
             T_Fin_6
MAlonzo.Code.Data.Fin.Base.C_zero_10 -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v3
             MAlonzo.Code.Data.Fin.Base.C_suc_16 T_Fin_6
v5
               -> (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] -> T_Fin_6 -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe [AgdaAny] -> T_Fin_6 -> [AgdaAny]
du__'9472'__790 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3) (T_Fin_6 -> AgdaAny
forall a b. a -> b
coe T_Fin_6
v5))
             T_Fin_6
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
      [AgdaAny]
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.reverseAcc
d_reverseAcc_802 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
d_reverseAcc_802 :: T_Level_18 -> T_Level_18 -> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
d_reverseAcc_802 ~T_Level_18
v0 ~T_Level_18
v1 = [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_reverseAcc_802
du_reverseAcc_802 :: [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_reverseAcc_802 :: [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_reverseAcc_802
  = ((AgdaAny -> AgdaAny -> AgdaAny)
 -> AgdaAny -> [AgdaAny] -> AgdaAny)
-> AgdaAny -> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny -> [AgdaAny] -> AgdaAny
du_foldl_254
      ((AgdaAny -> AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe
         (\ AgdaAny
v0 AgdaAny
v1 ->
            (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
v0)))
-- Data.List.Base.reverse
d_reverse_804 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> [AgdaAny]
d_reverse_804 :: T_Level_18 -> T_Level_18 -> [AgdaAny] -> [AgdaAny]
d_reverse_804 ~T_Level_18
v0 ~T_Level_18
v1 = [AgdaAny] -> [AgdaAny]
du_reverse_804
du_reverse_804 :: [AgdaAny] -> [AgdaAny]
du_reverse_804 :: [AgdaAny] -> [AgdaAny]
du_reverse_804
  = ([AgdaAny] -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe
      [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_reverseAcc_802
      ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16)
-- Data.List.Base._ʳ++_
d__'691''43''43'__806 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
d__'691''43''43'__806 :: T_Level_18 -> T_Level_18 -> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
d__'691''43''43'__806 ~T_Level_18
v0 ~T_Level_18
v1 [AgdaAny]
v2 [AgdaAny]
v3 = [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du__'691''43''43'__806 [AgdaAny]
v2 [AgdaAny]
v3
du__'691''43''43'__806 :: [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du__'691''43''43'__806 :: [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du__'691''43''43'__806 [AgdaAny]
v0 [AgdaAny]
v1 = ([AgdaAny] -> [AgdaAny] -> [AgdaAny])
-> [AgdaAny] -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du_reverseAcc_802 [AgdaAny]
v1 [AgdaAny]
v0
-- Data.List.Base._∷ʳ_
d__'8759''691'__808 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> AgdaAny -> [AgdaAny]
d__'8759''691'__808 :: T_Level_18 -> T_Level_18 -> [AgdaAny] -> AgdaAny -> [AgdaAny]
d__'8759''691'__808 ~T_Level_18
v0 ~T_Level_18
v1 [AgdaAny]
v2 AgdaAny
v3 = [AgdaAny] -> AgdaAny -> [AgdaAny]
du__'8759''691'__808 [AgdaAny]
v2 AgdaAny
v3
du__'8759''691'__808 :: [AgdaAny] -> AgdaAny -> [AgdaAny]
du__'8759''691'__808 :: [AgdaAny] -> AgdaAny -> [AgdaAny]
du__'8759''691'__808 [AgdaAny]
v0 AgdaAny
v1
  = ([AgdaAny] -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny] -> [AgdaAny] -> [AgdaAny]
du__'43''43'__60 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v0) ((AgdaAny -> [AgdaAny]) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> [AgdaAny]
du_'91'_'93'_298 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1))
-- Data.List.Base._?∷_
d__'63''8759'__814 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> Maybe AgdaAny -> [AgdaAny] -> [AgdaAny]
d__'63''8759'__814 :: T_Level_18 -> T_Level_18 -> Maybe AgdaAny -> [AgdaAny] -> [AgdaAny]
d__'63''8759'__814 ~T_Level_18
v0 ~T_Level_18
v1 = Maybe AgdaAny -> [AgdaAny] -> [AgdaAny]
du__'63''8759'__814
du__'63''8759'__814 :: Maybe AgdaAny -> [AgdaAny] -> [AgdaAny]
du__'63''8759'__814 :: Maybe AgdaAny -> [AgdaAny] -> [AgdaAny]
du__'63''8759'__814
  = ((AgdaAny -> AgdaAny) -> AgdaAny -> Maybe AgdaAny -> AgdaAny)
-> AgdaAny
-> (AgdaAny -> AgdaAny)
-> Maybe AgdaAny
-> [AgdaAny]
-> [AgdaAny]
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny) -> AgdaAny -> Maybe AgdaAny -> AgdaAny
MAlonzo.Code.Data.Maybe.Base.du_maybe'8242'_48
      ((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
v0 -> AgdaAny
v0)
-- Data.List.Base._∷ʳ?_
d__'8759''691''63'__816 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> Maybe AgdaAny -> [AgdaAny]
d__'8759''691''63'__816 :: T_Level_18 -> T_Level_18 -> [AgdaAny] -> Maybe AgdaAny -> [AgdaAny]
d__'8759''691''63'__816 ~T_Level_18
v0 ~T_Level_18
v1 [AgdaAny]
v2 Maybe AgdaAny
v3
  = [AgdaAny] -> Maybe AgdaAny -> [AgdaAny]
du__'8759''691''63'__816 [AgdaAny]
v2 Maybe AgdaAny
v3
du__'8759''691''63'__816 :: [AgdaAny] -> Maybe AgdaAny -> [AgdaAny]
du__'8759''691''63'__816 :: [AgdaAny] -> Maybe AgdaAny -> [AgdaAny]
du__'8759''691''63'__816 [AgdaAny]
v0 Maybe AgdaAny
v1
  = ((AgdaAny -> AgdaAny) -> AgdaAny -> Maybe AgdaAny -> AgdaAny)
-> AgdaAny -> [AgdaAny] -> Maybe AgdaAny -> [AgdaAny]
forall a b. a -> b
coe
      (AgdaAny -> AgdaAny) -> AgdaAny -> Maybe AgdaAny -> AgdaAny
MAlonzo.Code.Data.Maybe.Base.du_maybe'8242'_48
      (([AgdaAny] -> AgdaAny -> [AgdaAny]) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe [AgdaAny] -> AgdaAny -> [AgdaAny]
du__'8759''691'__808 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v0)) [AgdaAny]
v0 Maybe AgdaAny
v1
-- Data.List.Base.InitLast
d_InitLast_828 :: p -> p -> p -> T_Level_18
d_InitLast_828 p
a0 p
a1 p
a2 = ()
data T_InitLast_828
  = C_'91''93'_832 | C__'8759''691''8242'__838 [AgdaAny] AgdaAny
-- Data.List.Base.initLast
d_initLast_842 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> T_InitLast_828
d_initLast_842 :: T_Level_18 -> T_Level_18 -> [AgdaAny] -> T_InitLast_828
d_initLast_842 ~T_Level_18
v0 ~T_Level_18
v1 [AgdaAny]
v2 = [AgdaAny] -> T_InitLast_828
du_initLast_842 [AgdaAny]
v2
du_initLast_842 :: [AgdaAny] -> T_InitLast_828
du_initLast_842 :: [AgdaAny] -> T_InitLast_828
du_initLast_842 [AgdaAny]
v0
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v0 of
      [] -> T_InitLast_828 -> T_InitLast_828
forall a b. a -> b
coe T_InitLast_828
C_'91''93'_832
      (:) AgdaAny
v1 [AgdaAny]
v2
        -> let v3 :: t
v3 = ([AgdaAny] -> T_InitLast_828) -> AgdaAny -> t
forall a b. a -> b
coe [AgdaAny] -> T_InitLast_828
du_initLast_842 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v2) in
           AgdaAny -> T_InitLast_828
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
C_'91''93'_832
                  -> ([AgdaAny] -> AgdaAny -> T_InitLast_828)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                       [AgdaAny] -> AgdaAny -> T_InitLast_828
C__'8759''691''8242'__838
                       ([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)
                C__'8759''691''8242'__838 [AgdaAny]
v4 AgdaAny
v5
                  -> ([AgdaAny] -> AgdaAny -> T_InitLast_828)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                       [AgdaAny] -> AgdaAny -> T_InitLast_828
C__'8759''691''8242'__838
                       ((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)
      [AgdaAny]
_ -> T_InitLast_828
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.unsnoc
d_unsnoc_864 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> Maybe MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
d_unsnoc_864 :: T_Level_18 -> T_Level_18 -> [AgdaAny] -> Maybe T_Σ_14
d_unsnoc_864 ~T_Level_18
v0 ~T_Level_18
v1 [AgdaAny]
v2 = [AgdaAny] -> Maybe T_Σ_14
du_unsnoc_864 [AgdaAny]
v2
du_unsnoc_864 ::
  [AgdaAny] -> Maybe MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
du_unsnoc_864 :: [AgdaAny] -> Maybe T_Σ_14
du_unsnoc_864 [AgdaAny]
v0
  = let v1 :: t
v1 = ([AgdaAny] -> T_InitLast_828) -> AgdaAny -> t
forall a b. a -> b
coe [AgdaAny] -> T_InitLast_828
du_initLast_842 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v0) in
    AgdaAny -> Maybe T_Σ_14
forall a b. a -> b
coe
      (case AgdaAny -> T_InitLast_828
forall a b. a -> b
coe AgdaAny
forall a. a
v1 of
         T_InitLast_828
C_'91''93'_832 -> Maybe AgdaAny -> AgdaAny
forall a b. a -> b
coe Maybe AgdaAny
forall {a}. Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18
         C__'8759''691''8242'__838 [AgdaAny]
v2 AgdaAny
v3
           -> (AgdaAny -> Maybe AgdaAny) -> 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 -> AgdaAny -> T_Σ_14) -> AgdaAny -> AgdaAny -> AgdaAny
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]
v2) (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v3))
         T_InitLast_828
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError)
-- Data.List.Base.linesBy
d_linesBy_882 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (AgdaAny -> ()) ->
  (AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> [[AgdaAny]]
d_linesBy_882 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T_Level_18)
-> (AgdaAny -> T_Dec_32)
-> [AgdaAny]
-> [[AgdaAny]]
d_linesBy_882 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~AgdaAny -> T_Level_18
v3 AgdaAny -> T_Dec_32
v4 = (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [[AgdaAny]]
du_linesBy_882 AgdaAny -> T_Dec_32
v4
du_linesBy_882 ::
  (AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> [[AgdaAny]]
du_linesBy_882 :: (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [[AgdaAny]]
du_linesBy_882 AgdaAny -> T_Dec_32
v0
  = ((AgdaAny -> T_Dec_32)
 -> Maybe [AgdaAny] -> [AgdaAny] -> [[AgdaAny]])
-> AgdaAny -> AgdaAny -> [AgdaAny] -> [[AgdaAny]]
forall a b. a -> b
coe
      (AgdaAny -> T_Dec_32)
-> Maybe [AgdaAny] -> [AgdaAny] -> [[AgdaAny]]
du_go_892 ((AgdaAny -> T_Dec_32) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_Dec_32
v0)
      (Maybe AgdaAny -> AgdaAny
forall a b. a -> b
coe Maybe AgdaAny
forall {a}. Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18)
-- Data.List.Base._.go
d_go_892 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (AgdaAny -> ()) ->
  (AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  Maybe [AgdaAny] -> [AgdaAny] -> [[AgdaAny]]
d_go_892 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T_Level_18)
-> (AgdaAny -> T_Dec_32)
-> Maybe [AgdaAny]
-> [AgdaAny]
-> [[AgdaAny]]
d_go_892 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~AgdaAny -> T_Level_18
v3 AgdaAny -> T_Dec_32
v4 Maybe [AgdaAny]
v5 [AgdaAny]
v6 = (AgdaAny -> T_Dec_32)
-> Maybe [AgdaAny] -> [AgdaAny] -> [[AgdaAny]]
du_go_892 AgdaAny -> T_Dec_32
v4 Maybe [AgdaAny]
v5 [AgdaAny]
v6
du_go_892 ::
  (AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  Maybe [AgdaAny] -> [AgdaAny] -> [[AgdaAny]]
du_go_892 :: (AgdaAny -> T_Dec_32)
-> Maybe [AgdaAny] -> [AgdaAny] -> [[AgdaAny]]
du_go_892 AgdaAny -> T_Dec_32
v0 Maybe [AgdaAny]
v1 [AgdaAny]
v2
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v2 of
      []
        -> ((AgdaAny -> AgdaAny) -> AgdaAny -> Maybe AgdaAny -> AgdaAny)
-> AgdaAny -> [AgdaAny] -> Maybe [AgdaAny] -> [[AgdaAny]]
forall a b. a -> b
coe
             (AgdaAny -> AgdaAny) -> AgdaAny -> Maybe AgdaAny -> AgdaAny
MAlonzo.Code.Data.Maybe.Base.du_maybe'8242'_48
             (((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
forall a b. a -> b
coe AgdaAny -> [AgdaAny]
du_'91'_'93'_298) (([AgdaAny] -> [AgdaAny]) -> AgdaAny
forall a b. a -> b
coe [AgdaAny] -> [AgdaAny]
du_reverse_804))
             [AgdaAny]
v2 Maybe [AgdaAny]
v1
      (:) AgdaAny
v3 [AgdaAny]
v4
        -> let v5 :: Bool
v5 = T_Dec_32 -> Bool
MAlonzo.Code.Relation.Nullary.d_does_42 ((AgdaAny -> T_Dec_32) -> AgdaAny -> T_Dec_32
forall a b. a -> b
coe AgdaAny -> T_Dec_32
v0 AgdaAny
v3) in
           AgdaAny -> [[AgdaAny]]
forall a b. a -> b
coe
             (if Bool -> Bool
forall a b. a -> b
coe Bool
v5
                then (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]) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                          [AgdaAny] -> [AgdaAny]
du_reverse_804
                          ((AgdaAny -> Maybe AgdaAny -> AgdaAny)
-> AgdaAny -> Maybe [AgdaAny] -> AgdaAny
forall a b. a -> b
coe
                             AgdaAny -> Maybe AgdaAny -> AgdaAny
MAlonzo.Code.Data.Maybe.Base.du_fromMaybe_50
                             ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16) Maybe [AgdaAny]
v1))
                       (((AgdaAny -> T_Dec_32)
 -> Maybe [AgdaAny] -> [AgdaAny] -> [[AgdaAny]])
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                          (AgdaAny -> T_Dec_32)
-> Maybe [AgdaAny] -> [AgdaAny] -> [[AgdaAny]]
du_go_892 ((AgdaAny -> T_Dec_32) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_Dec_32
v0)
                          (Maybe AgdaAny -> AgdaAny
forall a b. a -> b
coe Maybe AgdaAny
forall {a}. Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v4))
                else ((AgdaAny -> T_Dec_32)
 -> Maybe [AgdaAny] -> [AgdaAny] -> [[AgdaAny]])
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                       (AgdaAny -> T_Dec_32)
-> Maybe [AgdaAny] -> [AgdaAny] -> [[AgdaAny]]
du_go_892 ((AgdaAny -> T_Dec_32) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_Dec_32
v0)
                       ((AgdaAny -> Maybe AgdaAny) -> 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 -> [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
v3)
                             ((AgdaAny -> Maybe AgdaAny -> AgdaAny)
-> AgdaAny -> Maybe [AgdaAny] -> AgdaAny
forall a b. a -> b
coe
                                AgdaAny -> Maybe AgdaAny -> AgdaAny
MAlonzo.Code.Data.Maybe.Base.du_fromMaybe_50
                                ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16) Maybe [AgdaAny]
v1)))
                       ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v4))
      [AgdaAny]
_ -> [[AgdaAny]]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.wordsBy
d_wordsBy_920 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (AgdaAny -> ()) ->
  (AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> [[AgdaAny]]
d_wordsBy_920 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T_Level_18)
-> (AgdaAny -> T_Dec_32)
-> [AgdaAny]
-> [[AgdaAny]]
d_wordsBy_920 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~AgdaAny -> T_Level_18
v3 AgdaAny -> T_Dec_32
v4 = (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [[AgdaAny]]
du_wordsBy_920 AgdaAny -> T_Dec_32
v4
du_wordsBy_920 ::
  (AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> [[AgdaAny]]
du_wordsBy_920 :: (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [[AgdaAny]]
du_wordsBy_920 AgdaAny -> T_Dec_32
v0
  = ((AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny] -> [[AgdaAny]])
-> AgdaAny -> AgdaAny -> [AgdaAny] -> [[AgdaAny]]
forall a b. a -> b
coe
      (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny] -> [[AgdaAny]]
du_go_938 ((AgdaAny -> T_Dec_32) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_Dec_32
v0)
      ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16)
-- Data.List.Base._.cons
d_cons_930 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (AgdaAny -> ()) ->
  (AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> [[AgdaAny]] -> [[AgdaAny]]
d_cons_930 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T_Level_18)
-> (AgdaAny -> T_Dec_32)
-> [AgdaAny]
-> [[AgdaAny]]
-> [[AgdaAny]]
d_cons_930 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~AgdaAny -> T_Level_18
v3 ~AgdaAny -> T_Dec_32
v4 [AgdaAny]
v5 [[AgdaAny]]
v6 = [AgdaAny] -> [[AgdaAny]] -> [[AgdaAny]]
du_cons_930 [AgdaAny]
v5 [[AgdaAny]]
v6
du_cons_930 :: [AgdaAny] -> [[AgdaAny]] -> [[AgdaAny]]
du_cons_930 :: [AgdaAny] -> [[AgdaAny]] -> [[AgdaAny]]
du_cons_930 [AgdaAny]
v0 [[AgdaAny]]
v1
  = let v2 :: t
v2
          = (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] -> [AgdaAny]) -> [AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny] -> [AgdaAny]
du_reverse_804 [AgdaAny]
v0) ([[AgdaAny]] -> AgdaAny
forall a b. a -> b
coe [[AgdaAny]]
v1) in
    AgdaAny -> [[AgdaAny]]
forall a b. a -> b
coe
      (case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v0 of
         [] -> [[AgdaAny]] -> AgdaAny
forall a b. a -> b
coe [[AgdaAny]]
v1
         [AgdaAny]
_ -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
forall a. a
v2)
-- Data.List.Base._.go
d_go_938 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  (AgdaAny -> ()) ->
  (AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> [AgdaAny] -> [[AgdaAny]]
d_go_938 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> T_Level_18)
-> (AgdaAny -> T_Dec_32)
-> [AgdaAny]
-> [AgdaAny]
-> [[AgdaAny]]
d_go_938 ~T_Level_18
v0 ~T_Level_18
v1 ~T_Level_18
v2 ~AgdaAny -> T_Level_18
v3 AgdaAny -> T_Dec_32
v4 [AgdaAny]
v5 [AgdaAny]
v6 = (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny] -> [[AgdaAny]]
du_go_938 AgdaAny -> T_Dec_32
v4 [AgdaAny]
v5 [AgdaAny]
v6
du_go_938 ::
  (AgdaAny -> MAlonzo.Code.Relation.Nullary.T_Dec_32) ->
  [AgdaAny] -> [AgdaAny] -> [[AgdaAny]]
du_go_938 :: (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny] -> [[AgdaAny]]
du_go_938 AgdaAny -> T_Dec_32
v0 [AgdaAny]
v1 [AgdaAny]
v2
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v2 of
      [] -> ([AgdaAny] -> [[AgdaAny]] -> [[AgdaAny]])
-> AgdaAny -> AgdaAny -> [[AgdaAny]]
forall a b. a -> b
coe [AgdaAny] -> [[AgdaAny]] -> [[AgdaAny]]
du_cons_930 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v1) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v2)
      (:) AgdaAny
v3 [AgdaAny]
v4
        -> let v5 :: Bool
v5 = T_Dec_32 -> Bool
MAlonzo.Code.Relation.Nullary.d_does_42 ((AgdaAny -> T_Dec_32) -> AgdaAny -> T_Dec_32
forall a b. a -> b
coe AgdaAny -> T_Dec_32
v0 AgdaAny
v3) in
           AgdaAny -> [[AgdaAny]]
forall a b. a -> b
coe
             (if Bool -> Bool
forall a b. a -> b
coe Bool
v5
                then ([AgdaAny] -> [[AgdaAny]] -> [[AgdaAny]])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                       [AgdaAny] -> [[AgdaAny]] -> [[AgdaAny]]
du_cons_930 ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v1)
                       (((AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny] -> [[AgdaAny]])
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                          (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny] -> [[AgdaAny]]
du_go_938 ((AgdaAny -> T_Dec_32) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_Dec_32
v0)
                          ([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]
v4))
                else ((AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny] -> [[AgdaAny]])
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                       (AgdaAny -> T_Dec_32) -> [AgdaAny] -> [AgdaAny] -> [[AgdaAny]]
du_go_938 ((AgdaAny -> T_Dec_32) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> T_Dec_32
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
v3) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v1))
                       ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v4))
      [AgdaAny]
_ -> [[AgdaAny]]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.gfilter
d_gfilter_964 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> (AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> [AgdaAny]
d_gfilter_964 :: T_Level_18
-> T_Level_18
-> T_Level_18
-> T_Level_18
-> (AgdaAny -> Maybe AgdaAny)
-> [AgdaAny]
-> [AgdaAny]
d_gfilter_964 T_Level_18
v0 T_Level_18
v1 T_Level_18
v2 T_Level_18
v3 AgdaAny -> Maybe AgdaAny
v4 [AgdaAny]
v5 = ((AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> [AgdaAny])
-> (AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe (AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> [AgdaAny]
du_mapMaybe_32 AgdaAny -> Maybe AgdaAny
v4 [AgdaAny]
v5
-- Data.List.Base.boolFilter
d_boolFilter_966 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> (AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny]
d_boolFilter_966 :: T_Level_18
-> T_Level_18 -> (AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny]
d_boolFilter_966 ~T_Level_18
v0 ~T_Level_18
v1 AgdaAny -> Bool
v2 = (AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny]
du_boolFilter_966 AgdaAny -> Bool
v2
du_boolFilter_966 :: (AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny]
du_boolFilter_966 :: (AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny]
du_boolFilter_966 AgdaAny -> Bool
v0
  = ((AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe
      (AgdaAny -> Maybe AgdaAny) -> [AgdaAny] -> [AgdaAny]
du_mapMaybe_32
      ((AgdaAny -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe
         (\ AgdaAny
v1 ->
            (Bool -> AgdaAny -> AgdaAny -> AgdaAny)
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
              Bool -> AgdaAny -> AgdaAny -> AgdaAny
MAlonzo.Code.Data.Bool.Base.du_if_then_else__42 ((AgdaAny -> Bool) -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny -> Bool
v0 AgdaAny
v1)
              ((AgdaAny -> Maybe AgdaAny) -> 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 -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1))
              (Maybe AgdaAny -> AgdaAny
forall a b. a -> b
coe Maybe AgdaAny
forall {a}. Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18)))
-- Data.List.Base.boolPartition
d_boolPartition_972 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> Bool) ->
  [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
d_boolPartition_972 :: T_Level_18
-> T_Level_18 -> (AgdaAny -> Bool) -> [AgdaAny] -> T_Σ_14
d_boolPartition_972 ~T_Level_18
v0 ~T_Level_18
v1 AgdaAny -> Bool
v2 [AgdaAny]
v3 = (AgdaAny -> Bool) -> [AgdaAny] -> T_Σ_14
du_boolPartition_972 AgdaAny -> Bool
v2 [AgdaAny]
v3
du_boolPartition_972 ::
  (AgdaAny -> Bool) ->
  [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
du_boolPartition_972 :: (AgdaAny -> Bool) -> [AgdaAny] -> T_Σ_14
du_boolPartition_972 AgdaAny -> Bool
v0 [AgdaAny]
v1
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1 of
      []
        -> (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]
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_Σ_14
forall a b. a -> b
coe
             (let v5 :: t
v5 = ((AgdaAny -> Bool) -> [AgdaAny] -> T_Σ_14)
-> AgdaAny -> AgdaAny -> t
forall a b. a -> b
coe (AgdaAny -> Bool) -> [AgdaAny] -> T_Σ_14
du_boolPartition_972 ((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 case AgdaAny -> T_Σ_14
forall a b. a -> b
coe AgdaAny
forall a. a
v5 of
                          MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 AgdaAny
v6 AgdaAny
v7
                            -> (AgdaAny -> AgdaAny -> T_Σ_14) -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                                 AgdaAny -> AgdaAny -> T_Σ_14
MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32
                                 ((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
v6))
                                 (AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v7)
                          T_Σ_14
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
                   else (case AgdaAny -> T_Σ_14
forall a b. a -> b
coe AgdaAny
forall a. a
v5 of
                           MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32 AgdaAny
v6 AgdaAny
v7
                             -> (AgdaAny -> AgdaAny -> T_Σ_14) -> AgdaAny -> AgdaAny -> AgdaAny
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
v6)
                                  ((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
v7))
                           T_Σ_14
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError)))
      [AgdaAny]
_ -> T_Σ_14
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.boolTakeWhile
d_boolTakeWhile_1006 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> (AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny]
d_boolTakeWhile_1006 :: T_Level_18
-> T_Level_18 -> (AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny]
d_boolTakeWhile_1006 ~T_Level_18
v0 ~T_Level_18
v1 AgdaAny -> Bool
v2 [AgdaAny]
v3 = (AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny]
du_boolTakeWhile_1006 AgdaAny -> Bool
v2 [AgdaAny]
v3
du_boolTakeWhile_1006 ::
  (AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny]
du_boolTakeWhile_1006 :: (AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny]
du_boolTakeWhile_1006 AgdaAny -> Bool
v0 [AgdaAny]
v1
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1 of
      [] -> [AgdaAny] -> [AgdaAny]
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 -> [AgdaAny]
forall a b. a -> b
coe
             (if AgdaAny -> Bool
forall a b. a -> b
coe AgdaAny
forall a. a
v4
                then (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 -> Bool) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny]
du_boolTakeWhile_1006 ((AgdaAny -> Bool) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> Bool
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3))
                else [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. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.boolDropWhile
d_boolDropWhile_1032 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> (AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny]
d_boolDropWhile_1032 :: T_Level_18
-> T_Level_18 -> (AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny]
d_boolDropWhile_1032 ~T_Level_18
v0 ~T_Level_18
v1 AgdaAny -> Bool
v2 [AgdaAny]
v3 = (AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny]
du_boolDropWhile_1032 AgdaAny -> Bool
v2 [AgdaAny]
v3
du_boolDropWhile_1032 ::
  (AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny]
du_boolDropWhile_1032 :: (AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny]
du_boolDropWhile_1032 AgdaAny -> Bool
v0 [AgdaAny]
v1
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1 of
      [] -> [AgdaAny] -> [AgdaAny]
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 -> [AgdaAny]
forall a b. a -> b
coe
             (if AgdaAny -> Bool
forall a b. a -> b
coe AgdaAny
forall a. a
v4
                then ((AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny])
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> Bool) -> [AgdaAny] -> [AgdaAny]
du_boolDropWhile_1032 ((AgdaAny -> Bool) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> Bool
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3)
                else [AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v1)
      [AgdaAny]
_ -> [AgdaAny]
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.boolSpan
d_boolSpan_1058 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> Bool) ->
  [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
d_boolSpan_1058 :: T_Level_18
-> T_Level_18 -> (AgdaAny -> Bool) -> [AgdaAny] -> T_Σ_14
d_boolSpan_1058 ~T_Level_18
v0 ~T_Level_18
v1 AgdaAny -> Bool
v2 [AgdaAny]
v3 = (AgdaAny -> Bool) -> [AgdaAny] -> T_Σ_14
du_boolSpan_1058 AgdaAny -> Bool
v2 [AgdaAny]
v3
du_boolSpan_1058 ::
  (AgdaAny -> Bool) ->
  [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
du_boolSpan_1058 :: (AgdaAny -> Bool) -> [AgdaAny] -> T_Σ_14
du_boolSpan_1058 AgdaAny -> Bool
v0 [AgdaAny]
v1
  = case [AgdaAny] -> [AgdaAny]
forall a b. a -> b
coe [AgdaAny]
v1 of
      []
        -> (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]
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_Σ_14
forall a b. a -> b
coe
             (if AgdaAny -> Bool
forall a b. a -> b
coe AgdaAny
forall a. a
v4
                then ((AgdaAny -> AgdaAny)
 -> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14)
-> AgdaAny -> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe
                       (AgdaAny -> AgdaAny)
-> (AgdaAny -> AgdaAny -> AgdaAny) -> T_Σ_14 -> T_Σ_14
MAlonzo.Code.Data.Product.du_map_148
                       ((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 -> AgdaAny) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v5 AgdaAny
v6 -> AgdaAny
v6)) (((AgdaAny -> Bool) -> [AgdaAny] -> T_Σ_14)
-> AgdaAny -> AgdaAny -> AgdaAny
forall a b. a -> b
coe (AgdaAny -> Bool) -> [AgdaAny] -> T_Σ_14
du_boolSpan_1058 ((AgdaAny -> Bool) -> AgdaAny
forall a b. a -> b
coe AgdaAny -> Bool
v0) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v3))
                else (AgdaAny -> AgdaAny -> T_Σ_14) -> AgdaAny -> AgdaAny -> AgdaAny
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]
forall {a}. [a]
MAlonzo.Code.Agda.Builtin.List.C_'91''93'_16) ([AgdaAny] -> AgdaAny
forall a b. a -> b
coe [AgdaAny]
v1))
      [AgdaAny]
_ -> T_Σ_14
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.List.Base.boolBreak
d_boolBreak_1086 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> Bool) ->
  [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
d_boolBreak_1086 :: T_Level_18
-> T_Level_18 -> (AgdaAny -> Bool) -> [AgdaAny] -> T_Σ_14
d_boolBreak_1086 ~T_Level_18
v0 ~T_Level_18
v1 AgdaAny -> Bool
v2 = (AgdaAny -> Bool) -> [AgdaAny] -> T_Σ_14
du_boolBreak_1086 AgdaAny -> Bool
v2
du_boolBreak_1086 ::
  (AgdaAny -> Bool) ->
  [AgdaAny] -> MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
du_boolBreak_1086 :: (AgdaAny -> Bool) -> [AgdaAny] -> T_Σ_14
du_boolBreak_1086 AgdaAny -> Bool
v0
  = ((AgdaAny -> Bool) -> [AgdaAny] -> T_Σ_14)
-> AgdaAny -> [AgdaAny] -> T_Σ_14
forall a b. a -> b
coe
      (AgdaAny -> Bool) -> [AgdaAny] -> T_Σ_14
du_boolSpan_1058
      ((AgdaAny -> Bool) -> AgdaAny
forall a b. a -> b
coe (\ AgdaAny
v1 -> Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d_not_22 ((AgdaAny -> Bool) -> AgdaAny -> Bool
forall a b. a -> b
coe AgdaAny -> Bool
v0 AgdaAny
v1)))
-- Data.List.Base._∷ʳ'_
d__'8759''691'''__1094 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> [AgdaAny] -> AgdaAny -> T_InitLast_828
d__'8759''691'''__1094 :: T_Level_18 -> T_Level_18 -> [AgdaAny] -> AgdaAny -> T_InitLast_828
d__'8759''691'''__1094 ~T_Level_18
v0 ~T_Level_18
v1 = [AgdaAny] -> AgdaAny -> T_InitLast_828
du__'8759''691'''__1094
du__'8759''691'''__1094 :: [AgdaAny] -> AgdaAny -> T_InitLast_828
du__'8759''691'''__1094 :: [AgdaAny] -> AgdaAny -> T_InitLast_828
du__'8759''691'''__1094 = ([AgdaAny] -> AgdaAny -> T_InitLast_828)
-> [AgdaAny] -> AgdaAny -> T_InitLast_828
forall a b. a -> b
coe [AgdaAny] -> AgdaAny -> T_InitLast_828
C__'8759''691''8242'__838