{-# 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.Maybe.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.Maybe
import qualified MAlonzo.Code.Agda.Builtin.Sigma
import qualified MAlonzo.Code.Agda.Builtin.Unit
import qualified MAlonzo.Code.Agda.Primitive
import qualified MAlonzo.Code.Data.Bool.Base
import qualified MAlonzo.Code.Data.These.Base
import qualified MAlonzo.Code.Level
import qualified MAlonzo.Code.Relation.Nullary
import qualified MAlonzo.Code.Relation.Nullary.Reflects

-- Data.Maybe.Base.boolToMaybe
d_boolToMaybe_18 ::
  Bool -> Maybe MAlonzo.Code.Agda.Builtin.Unit.T_'8868'_6
d_boolToMaybe_18 :: Bool -> Maybe T_'8868'_6
d_boolToMaybe_18 Bool
v0
  = if Bool -> Bool
forall a b. a -> b
coe Bool
v0
      then (Any -> Maybe Any) -> Any -> Maybe T_'8868'_6
forall a b. a -> b
coe
             Any -> Maybe Any
forall {a}. a -> Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_just_16
             (T_'8868'_6 -> Any
forall a b. a -> b
coe T_'8868'_6
MAlonzo.Code.Agda.Builtin.Unit.C_tt_8)
      else Maybe Any -> Maybe T_'8868'_6
forall a b. a -> b
coe Maybe Any
forall {a}. Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18
-- Data.Maybe.Base.is-just
d_is'45'just_20 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> Maybe AgdaAny -> Bool
d_is'45'just_20 :: T_'8868'_6 -> T_'8868'_6 -> Maybe Any -> Bool
d_is'45'just_20 ~T_'8868'_6
v0 ~T_'8868'_6
v1 Maybe Any
v2 = Maybe Any -> Bool
du_is'45'just_20 Maybe Any
v2
du_is'45'just_20 :: Maybe AgdaAny -> Bool
du_is'45'just_20 :: Maybe Any -> Bool
du_is'45'just_20 Maybe Any
v0
  = case Maybe Any -> Maybe Any
forall a b. a -> b
coe Maybe Any
v0 of
      MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 Any
v1
        -> Bool -> Bool
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_true_10
      Maybe Any
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18
        -> Bool -> Bool
forall a b. a -> b
coe Bool
MAlonzo.Code.Agda.Builtin.Bool.C_false_8
      Maybe Any
_ -> Bool
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.Maybe.Base.is-nothing
d_is'45'nothing_22 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> Maybe AgdaAny -> Bool
d_is'45'nothing_22 :: T_'8868'_6 -> T_'8868'_6 -> Maybe Any -> Bool
d_is'45'nothing_22 ~T_'8868'_6
v0 ~T_'8868'_6
v1 Maybe Any
v2 = Maybe Any -> Bool
du_is'45'nothing_22 Maybe Any
v2
du_is'45'nothing_22 :: Maybe AgdaAny -> Bool
du_is'45'nothing_22 :: Maybe Any -> Bool
du_is'45'nothing_22 Maybe Any
v0
  = (Bool -> Bool) -> Any -> Bool
forall a b. a -> b
coe
      Bool -> Bool
MAlonzo.Code.Data.Bool.Base.d_not_22
      ((Maybe Any -> Bool) -> Any -> Any
forall a b. a -> b
coe Maybe Any -> Bool
du_is'45'just_20 (Maybe Any -> Any
forall a b. a -> b
coe Maybe Any
v0))
-- Data.Maybe.Base.decToMaybe
d_decToMaybe_24 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> MAlonzo.Code.Relation.Nullary.T_Dec_32 -> Maybe AgdaAny
d_decToMaybe_24 :: T_'8868'_6 -> T_'8868'_6 -> T_Dec_32 -> Maybe Any
d_decToMaybe_24 ~T_'8868'_6
v0 ~T_'8868'_6
v1 T_Dec_32
v2 = T_Dec_32 -> Maybe Any
du_decToMaybe_24 T_Dec_32
v2
du_decToMaybe_24 ::
  MAlonzo.Code.Relation.Nullary.T_Dec_32 -> Maybe AgdaAny
du_decToMaybe_24 :: T_Dec_32 -> Maybe Any
du_decToMaybe_24 T_Dec_32
v0
  = case T_Dec_32 -> T_Dec_32
forall a b. a -> b
coe T_Dec_32
v0 of
      MAlonzo.Code.Relation.Nullary.C__because__46 Bool
v1 T_Reflects_14
v2
        -> if Bool -> Bool
forall a b. a -> b
coe Bool
v1
             then (Any -> Maybe Any) -> Any -> Maybe Any
forall a b. a -> b
coe
                    Any -> Maybe Any
forall {a}. a -> Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_just_16
                    ((T_Reflects_14 -> Any) -> Any -> Any
forall a b. a -> b
coe T_Reflects_14 -> Any
MAlonzo.Code.Relation.Nullary.Reflects.du_invert_20 (T_Reflects_14 -> Any
forall a b. a -> b
coe T_Reflects_14
v2))
             else Maybe Any -> Maybe Any
forall a b. a -> b
coe Maybe Any
forall {a}. Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18
      T_Dec_32
_ -> Maybe Any
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.Maybe.Base.maybe
d_maybe_36 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (Maybe AgdaAny -> ()) ->
  (AgdaAny -> AgdaAny) -> AgdaAny -> Maybe AgdaAny -> AgdaAny
d_maybe_36 :: T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> (Maybe Any -> T_'8868'_6)
-> (Any -> Any)
-> Any
-> Maybe Any
-> Any
d_maybe_36 ~T_'8868'_6
v0 ~T_'8868'_6
v1 ~T_'8868'_6
v2 ~Maybe Any -> T_'8868'_6
v3 Any -> Any
v4 Any
v5 Maybe Any
v6 = (Any -> Any) -> Any -> Maybe Any -> Any
du_maybe_36 Any -> Any
v4 Any
v5 Maybe Any
v6
du_maybe_36 ::
  (AgdaAny -> AgdaAny) -> AgdaAny -> Maybe AgdaAny -> AgdaAny
du_maybe_36 :: (Any -> Any) -> Any -> Maybe Any -> Any
du_maybe_36 Any -> Any
v0 Any
v1 Maybe Any
v2
  = case Maybe Any -> Maybe Any
forall a b. a -> b
coe Maybe Any
v2 of
      MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 Any
v3 -> (Any -> Any) -> Any -> Any
forall a b. a -> b
coe Any -> Any
v0 Any
v3
      Maybe Any
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18 -> Any -> Any
forall a b. a -> b
coe Any
v1
      Maybe Any
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.Maybe.Base.maybe′
d_maybe'8242'_48 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> (AgdaAny -> AgdaAny) -> AgdaAny -> Maybe AgdaAny -> AgdaAny
d_maybe'8242'_48 :: T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> (Any -> Any)
-> Any
-> Maybe Any
-> Any
d_maybe'8242'_48 ~T_'8868'_6
v0 ~T_'8868'_6
v1 ~T_'8868'_6
v2 ~T_'8868'_6
v3 = (Any -> Any) -> Any -> Maybe Any -> Any
du_maybe'8242'_48
du_maybe'8242'_48 ::
  (AgdaAny -> AgdaAny) -> AgdaAny -> Maybe AgdaAny -> AgdaAny
du_maybe'8242'_48 :: (Any -> Any) -> Any -> Maybe Any -> Any
du_maybe'8242'_48 = ((Any -> Any) -> Any -> Maybe Any -> Any)
-> (Any -> Any) -> Any -> Maybe Any -> Any
forall a b. a -> b
coe (Any -> Any) -> Any -> Maybe Any -> Any
du_maybe_36
-- Data.Maybe.Base.fromMaybe
d_fromMaybe_50 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> AgdaAny -> Maybe AgdaAny -> AgdaAny
d_fromMaybe_50 :: T_'8868'_6 -> T_'8868'_6 -> Any -> Maybe Any -> Any
d_fromMaybe_50 ~T_'8868'_6
v0 ~T_'8868'_6
v1 = Any -> Maybe Any -> Any
du_fromMaybe_50
du_fromMaybe_50 :: AgdaAny -> Maybe AgdaAny -> AgdaAny
du_fromMaybe_50 :: Any -> Maybe Any -> Any
du_fromMaybe_50 = ((Any -> Any) -> Any -> Maybe Any -> Any)
-> (Any -> Any) -> Any -> Maybe Any -> Any
forall a b. a -> b
coe (Any -> Any) -> Any -> Maybe Any -> Any
du_maybe'8242'_48 (\ Any
v0 -> Any
v0)
-- Data.Maybe.Base._.From-just
d_From'45'just_60 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 -> () -> Maybe AgdaAny -> ()
d_From'45'just_60 :: T_'8868'_6 -> T_'8868'_6 -> Maybe Any -> T_'8868'_6
d_From'45'just_60 = T_'8868'_6 -> T_'8868'_6 -> Maybe Any -> T_'8868'_6
forall a. a
erased
-- Data.Maybe.Base._.from-just
d_from'45'just_64 :: Maybe AgdaAny -> AgdaAny
d_from'45'just_64 :: Maybe Any -> Any
d_from'45'just_64 Maybe Any
v0
  = case Maybe Any -> Maybe Any
forall a b. a -> b
coe Maybe Any
v0 of
      MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 Any
v1 -> Any -> Any
forall a b. a -> b
coe Any
v1
      Maybe Any
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18
        -> (Any -> T_Lift_8) -> Any -> Any
forall a b. a -> b
coe
             Any -> T_Lift_8
MAlonzo.Code.Level.C_lift_20
             (T_'8868'_6 -> Any
forall a b. a -> b
coe T_'8868'_6
MAlonzo.Code.Agda.Builtin.Unit.C_tt_8)
      Maybe Any
_ -> Any
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.Maybe.Base.map
d_map_68 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> Maybe AgdaAny
d_map_68 :: T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> (Any -> Any)
-> Maybe Any
-> Maybe Any
d_map_68 ~T_'8868'_6
v0 ~T_'8868'_6
v1 ~T_'8868'_6
v2 ~T_'8868'_6
v3 Any -> Any
v4 = (Any -> Any) -> Maybe Any -> Maybe Any
du_map_68 Any -> Any
v4
du_map_68 :: (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> Maybe AgdaAny
du_map_68 :: (Any -> Any) -> Maybe Any -> Maybe Any
du_map_68 Any -> Any
v0
  = ((Any -> Any) -> Any -> Maybe Any -> Any)
-> Any -> Any -> Maybe Any -> Maybe Any
forall a b. a -> b
coe
      (Any -> Any) -> Any -> Maybe Any -> Any
du_maybe_36
      ((Any -> Any) -> Any
forall a b. a -> b
coe
         (\ Any
v1 ->
            (Any -> Maybe Any) -> Any -> Any
forall a b. a -> b
coe Any -> Maybe Any
forall {a}. a -> Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 ((Any -> Any) -> Any -> Any
forall a b. a -> b
coe Any -> Any
v0 Any
v1)))
      (Maybe Any -> Any
forall a b. a -> b
coe Maybe Any
forall {a}. Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18)
-- Data.Maybe.Base.ap
d_ap_72 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> Maybe (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> Maybe AgdaAny
d_ap_72 :: T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> Maybe (Any -> Any)
-> Maybe Any
-> Maybe Any
d_ap_72 ~T_'8868'_6
v0 ~T_'8868'_6
v1 ~T_'8868'_6
v2 ~T_'8868'_6
v3 Maybe (Any -> Any)
v4 = Maybe (Any -> Any) -> Maybe Any -> Maybe Any
du_ap_72 Maybe (Any -> Any)
v4
du_ap_72 ::
  Maybe (AgdaAny -> AgdaAny) -> Maybe AgdaAny -> Maybe AgdaAny
du_ap_72 :: Maybe (Any -> Any) -> Maybe Any -> Maybe Any
du_ap_72 Maybe (Any -> Any)
v0
  = case Maybe (Any -> Any) -> Maybe Any
forall a b. a -> b
coe Maybe (Any -> Any)
v0 of
      MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 Any
v1
        -> ((Any -> Any) -> Maybe Any -> Maybe Any)
-> Any -> Maybe Any -> Maybe Any
forall a b. a -> b
coe (Any -> Any) -> Maybe Any -> Maybe Any
du_map_68 (Any -> Any
forall a b. a -> b
coe Any
v1)
      Maybe Any
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18 -> (Any -> Maybe (Any -> Any)) -> Maybe Any -> Maybe Any
forall a b. a -> b
coe (\ Any
v1 -> Maybe (Any -> Any)
v0)
      Maybe Any
_ -> Maybe Any -> Maybe Any
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.Maybe.Base._>>=_
d__'62''62''61'__76 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> Maybe AgdaAny -> (AgdaAny -> Maybe AgdaAny) -> Maybe AgdaAny
d__'62''62''61'__76 :: T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> Maybe Any
-> (Any -> Maybe Any)
-> Maybe Any
d__'62''62''61'__76 ~T_'8868'_6
v0 ~T_'8868'_6
v1 ~T_'8868'_6
v2 ~T_'8868'_6
v3 Maybe Any
v4 Any -> Maybe Any
v5
  = Maybe Any -> (Any -> Maybe Any) -> Maybe Any
du__'62''62''61'__76 Maybe Any
v4 Any -> Maybe Any
v5
du__'62''62''61'__76 ::
  Maybe AgdaAny -> (AgdaAny -> Maybe AgdaAny) -> Maybe AgdaAny
du__'62''62''61'__76 :: Maybe Any -> (Any -> Maybe Any) -> Maybe Any
du__'62''62''61'__76 Maybe Any
v0 Any -> Maybe Any
v1
  = case Maybe Any -> Maybe Any
forall a b. a -> b
coe Maybe Any
v0 of
      MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 Any
v2 -> (Any -> Maybe Any) -> Any -> Maybe Any
forall a b. a -> b
coe Any -> Maybe Any
v1 Any
v2
      Maybe Any
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18 -> Maybe Any -> Maybe Any
forall a b. a -> b
coe Maybe Any
v0
      Maybe Any
_ -> Maybe Any
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.Maybe.Base._<∣>_
d__'60''8739''62'__84 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> Maybe AgdaAny -> Maybe AgdaAny -> Maybe AgdaAny
d__'60''8739''62'__84 :: T_'8868'_6 -> T_'8868'_6 -> Maybe Any -> Maybe Any -> Maybe Any
d__'60''8739''62'__84 ~T_'8868'_6
v0 ~T_'8868'_6
v1 Maybe Any
v2 Maybe Any
v3 = Maybe Any -> Maybe Any -> Maybe Any
du__'60''8739''62'__84 Maybe Any
v2 Maybe Any
v3
du__'60''8739''62'__84 ::
  Maybe AgdaAny -> Maybe AgdaAny -> Maybe AgdaAny
du__'60''8739''62'__84 :: Maybe Any -> Maybe Any -> Maybe Any
du__'60''8739''62'__84 Maybe Any
v0 Maybe Any
v1
  = case Maybe Any -> Maybe Any
forall a b. a -> b
coe Maybe Any
v0 of
      MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 Any
v2 -> Maybe Any -> Maybe Any
forall a b. a -> b
coe Maybe Any
v0
      Maybe Any
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18 -> Maybe Any -> Maybe Any
forall a b. a -> b
coe Maybe Any
v1
      Maybe Any
_ -> Maybe Any
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.Maybe.Base.when
d_when_92 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> Bool -> AgdaAny -> Maybe AgdaAny
d_when_92 :: T_'8868'_6 -> T_'8868'_6 -> Bool -> Any -> Maybe Any
d_when_92 ~T_'8868'_6
v0 ~T_'8868'_6
v1 Bool
v2 Any
v3 = Bool -> Any -> Maybe Any
du_when_92 Bool
v2 Any
v3
du_when_92 :: Bool -> AgdaAny -> Maybe AgdaAny
du_when_92 :: Bool -> Any -> Maybe Any
du_when_92 Bool
v0 Any
v1
  = ((Any -> Any) -> Maybe Any -> Maybe Any)
-> (Any -> Any) -> Maybe T_'8868'_6 -> Maybe Any
forall a b. a -> b
coe (Any -> Any) -> Maybe Any -> Maybe Any
du_map_68 (\ Any
v2 -> Any
v1) (Bool -> Maybe T_'8868'_6
d_boolToMaybe_18 (Bool -> Bool
forall a b. a -> b
coe Bool
v0))
-- Data.Maybe.Base.alignWith
d_alignWith_98 ::
  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) ->
  Maybe AgdaAny -> Maybe AgdaAny -> Maybe AgdaAny
d_alignWith_98 :: T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> (T_These_38 -> Any)
-> Maybe Any
-> Maybe Any
-> Maybe Any
d_alignWith_98 ~T_'8868'_6
v0 ~T_'8868'_6
v1 ~T_'8868'_6
v2 ~T_'8868'_6
v3 ~T_'8868'_6
v4 ~T_'8868'_6
v5 T_These_38 -> Any
v6 Maybe Any
v7 Maybe Any
v8
  = (T_These_38 -> Any) -> Maybe Any -> Maybe Any -> Maybe Any
du_alignWith_98 T_These_38 -> Any
v6 Maybe Any
v7 Maybe Any
v8
du_alignWith_98 ::
  (MAlonzo.Code.Data.These.Base.T_These_38 -> AgdaAny) ->
  Maybe AgdaAny -> Maybe AgdaAny -> Maybe AgdaAny
du_alignWith_98 :: (T_These_38 -> Any) -> Maybe Any -> Maybe Any -> Maybe Any
du_alignWith_98 T_These_38 -> Any
v0 Maybe Any
v1 Maybe Any
v2
  = case Maybe Any -> Maybe Any
forall a b. a -> b
coe Maybe Any
v1 of
      MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 Any
v3
        -> case Maybe Any -> Maybe Any
forall a b. a -> b
coe Maybe Any
v2 of
             MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 Any
v4
               -> (Any -> Maybe Any) -> Any -> Maybe Any
forall a b. a -> b
coe
                    Any -> Maybe Any
forall {a}. a -> Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_just_16
                    ((T_These_38 -> Any) -> Any -> Any
forall a b. a -> b
coe
                       T_These_38 -> Any
v0 ((Any -> Any -> T_These_38) -> Any -> Any -> Any
forall a b. a -> b
coe Any -> Any -> T_These_38
MAlonzo.Code.Data.These.Base.C_these_52 (Any -> Any
forall a b. a -> b
coe Any
v3) (Any -> Any
forall a b. a -> b
coe Any
v4)))
             Maybe Any
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18
               -> (Any -> Maybe Any) -> Any -> Maybe Any
forall a b. a -> b
coe
                    Any -> Maybe Any
forall {a}. a -> Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_just_16
                    ((T_These_38 -> Any) -> Any -> Any
forall a b. a -> b
coe T_These_38 -> Any
v0 ((Any -> T_These_38) -> Any -> Any
forall a b. a -> b
coe Any -> T_These_38
MAlonzo.Code.Data.These.Base.C_this_48 (Any -> Any
forall a b. a -> b
coe Any
v3)))
             Maybe Any
_ -> Maybe Any
forall a. a
MAlonzo.RTE.mazUnreachableError
      Maybe Any
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18
        -> case Maybe Any -> Maybe Any
forall a b. a -> b
coe Maybe Any
v2 of
             MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 Any
v3
               -> (Any -> Maybe Any) -> Any -> Maybe Any
forall a b. a -> b
coe
                    Any -> Maybe Any
forall {a}. a -> Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_just_16
                    ((T_These_38 -> Any) -> Any -> Any
forall a b. a -> b
coe T_These_38 -> Any
v0 ((Any -> T_These_38) -> Any -> Any
forall a b. a -> b
coe Any -> T_These_38
MAlonzo.Code.Data.These.Base.C_that_50 (Any -> Any
forall a b. a -> b
coe Any
v3)))
             Maybe Any
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18 -> Maybe Any -> Maybe Any
forall a b. a -> b
coe Maybe Any
v2
             Maybe Any
_ -> Maybe Any
forall a. a
MAlonzo.RTE.mazUnreachableError
      Maybe Any
_ -> Maybe Any
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Data.Maybe.Base.zipWith
d_zipWith_116 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  Maybe AgdaAny -> Maybe AgdaAny -> Maybe AgdaAny
d_zipWith_116 :: T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> (Any -> Any -> Any)
-> Maybe Any
-> Maybe Any
-> Maybe Any
d_zipWith_116 ~T_'8868'_6
v0 ~T_'8868'_6
v1 ~T_'8868'_6
v2 ~T_'8868'_6
v3 ~T_'8868'_6
v4 ~T_'8868'_6
v5 Any -> Any -> Any
v6 Maybe Any
v7 Maybe Any
v8
  = (Any -> Any -> Any) -> Maybe Any -> Maybe Any -> Maybe Any
du_zipWith_116 Any -> Any -> Any
v6 Maybe Any
v7 Maybe Any
v8
du_zipWith_116 ::
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  Maybe AgdaAny -> Maybe AgdaAny -> Maybe AgdaAny
du_zipWith_116 :: (Any -> Any -> Any) -> Maybe Any -> Maybe Any -> Maybe Any
du_zipWith_116 Any -> Any -> Any
v0 Maybe Any
v1 Maybe Any
v2
  = let v3 :: b
v3 = Maybe Any -> b
forall a b. a -> b
coe Maybe Any
forall {a}. Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_nothing_18 in
    Any -> Maybe Any
forall a b. a -> b
coe
      (case Maybe Any -> Maybe Any
forall a b. a -> b
coe Maybe Any
v1 of
         MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 Any
v4
           -> case Maybe Any -> Maybe Any
forall a b. a -> b
coe Maybe Any
v2 of
                MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 Any
v5
                  -> (Any -> Maybe Any) -> Any -> Any
forall a b. a -> b
coe Any -> Maybe Any
forall {a}. a -> Maybe a
MAlonzo.Code.Agda.Builtin.Maybe.C_just_16 ((Any -> Any -> Any) -> Any -> Any -> Any
forall a b. a -> b
coe Any -> Any -> Any
v0 Any
v4 Any
v5)
                Maybe Any
_ -> Any -> Any
forall a b. a -> b
coe Any
forall a. a
v3
         Maybe Any
_ -> Any -> Any
forall a b. a -> b
coe Any
forall a. a
v3)
-- Data.Maybe.Base.align
d_align_124 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  Maybe AgdaAny ->
  Maybe AgdaAny -> Maybe MAlonzo.Code.Data.These.Base.T_These_38
d_align_124 :: T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> Maybe Any
-> Maybe Any
-> Maybe T_These_38
d_align_124 ~T_'8868'_6
v0 ~T_'8868'_6
v1 ~T_'8868'_6
v2 ~T_'8868'_6
v3 = Maybe Any -> Maybe Any -> Maybe T_These_38
du_align_124
du_align_124 ::
  Maybe AgdaAny ->
  Maybe AgdaAny -> Maybe MAlonzo.Code.Data.These.Base.T_These_38
du_align_124 :: Maybe Any -> Maybe Any -> Maybe T_These_38
du_align_124 = ((T_These_38 -> Any) -> Maybe Any -> Maybe Any -> Maybe Any)
-> Any -> Maybe Any -> Maybe Any -> Maybe T_These_38
forall a b. a -> b
coe (T_These_38 -> Any) -> Maybe Any -> Maybe Any -> Maybe Any
du_alignWith_98 ((Any -> Any) -> Any
forall a b. a -> b
coe (\ Any
v0 -> Any
v0))
-- Data.Maybe.Base.zip
d_zip_126 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  Maybe AgdaAny ->
  Maybe AgdaAny -> Maybe MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
d_zip_126 :: T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> Maybe Any
-> Maybe Any
-> Maybe T_Σ_14
d_zip_126 ~T_'8868'_6
v0 ~T_'8868'_6
v1 ~T_'8868'_6
v2 ~T_'8868'_6
v3 = Maybe Any -> Maybe Any -> Maybe T_Σ_14
du_zip_126
du_zip_126 ::
  Maybe AgdaAny ->
  Maybe AgdaAny -> Maybe MAlonzo.Code.Agda.Builtin.Sigma.T_Σ_14
du_zip_126 :: Maybe Any -> Maybe Any -> Maybe T_Σ_14
du_zip_126
  = ((Any -> Any -> Any) -> Maybe Any -> Maybe Any -> Maybe Any)
-> Any -> Maybe Any -> Maybe Any -> Maybe T_Σ_14
forall a b. a -> b
coe
      (Any -> Any -> Any) -> Maybe Any -> Maybe Any -> Maybe Any
du_zipWith_116 ((Any -> Any -> T_Σ_14) -> Any
forall a b. a -> b
coe Any -> Any -> T_Σ_14
MAlonzo.Code.Agda.Builtin.Sigma.C__'44'__32)
-- Data.Maybe.Base.thisM
d_thisM_128 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  AgdaAny -> Maybe AgdaAny -> MAlonzo.Code.Data.These.Base.T_These_38
d_thisM_128 :: T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> Any
-> Maybe Any
-> T_These_38
d_thisM_128 ~T_'8868'_6
v0 ~T_'8868'_6
v1 ~T_'8868'_6
v2 ~T_'8868'_6
v3 Any
v4 = Any -> Maybe Any -> T_These_38
du_thisM_128 Any
v4
du_thisM_128 ::
  AgdaAny -> Maybe AgdaAny -> MAlonzo.Code.Data.These.Base.T_These_38
du_thisM_128 :: Any -> Maybe Any -> T_These_38
du_thisM_128 Any
v0
  = ((Any -> Any) -> Any -> Maybe Any -> Any)
-> Any -> Any -> Maybe Any -> T_These_38
forall a b. a -> b
coe
      (Any -> Any) -> Any -> Maybe Any -> Any
du_maybe'8242'_48
      ((Any -> Any -> T_These_38) -> Any -> Any
forall a b. a -> b
coe Any -> Any -> T_These_38
MAlonzo.Code.Data.These.Base.C_these_52 (Any -> Any
forall a b. a -> b
coe Any
v0))
      ((Any -> T_These_38) -> Any -> Any
forall a b. a -> b
coe Any -> T_These_38
MAlonzo.Code.Data.These.Base.C_this_48 (Any -> Any
forall a b. a -> b
coe Any
v0))
-- Data.Maybe.Base.thatM
d_thatM_132 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  Maybe AgdaAny -> AgdaAny -> MAlonzo.Code.Data.These.Base.T_These_38
d_thatM_132 :: T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> T_'8868'_6
-> Maybe Any
-> Any
-> T_These_38
d_thatM_132 ~T_'8868'_6
v0 ~T_'8868'_6
v1 ~T_'8868'_6
v2 ~T_'8868'_6
v3 = Maybe Any -> Any -> T_These_38
du_thatM_132
du_thatM_132 ::
  Maybe AgdaAny -> AgdaAny -> MAlonzo.Code.Data.These.Base.T_These_38
du_thatM_132 :: Maybe Any -> Any -> T_These_38
du_thatM_132
  = ((Any -> Any) -> Any -> Maybe Any -> Any)
-> Any -> Any -> Maybe Any -> Any -> T_These_38
forall a b. a -> b
coe
      (Any -> Any) -> Any -> Maybe Any -> Any
du_maybe'8242'_48 ((Any -> Any -> T_These_38) -> Any
forall a b. a -> b
coe Any -> Any -> T_These_38
MAlonzo.Code.Data.These.Base.C_these_52)
      ((Any -> T_These_38) -> Any
forall a b. a -> b
coe Any -> T_These_38
MAlonzo.Code.Data.These.Base.C_that_50)