{-# 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.Irrelevant where

import Data.Text qualified
import MAlonzo.Code.Agda.Primitive qualified
import MAlonzo.RTE (AgdaAny, add64, addInt, coe, eq64, eqInt, erased, geqInt, lt64, ltInt, mul64,
                    mulInt, quot64, quotInt, rem64, remInt, sub64, subInt, word64FromNat,
                    word64ToNat)
import MAlonzo.RTE qualified

-- Data.Irrelevant.Irrelevant
d_Irrelevant_20 :: p -> p -> ()
d_Irrelevant_20 p
a0 p
a1 = ()
data T_Irrelevant_20 = C_'91'_'93'_28
-- Data.Irrelevant.map
d_map_30 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> (AgdaAny -> AgdaAny) -> T_Irrelevant_20 -> T_Irrelevant_20
d_map_30 :: ()
-> ()
-> ()
-> ()
-> (AgdaAny -> AgdaAny)
-> T_Irrelevant_20
-> T_Irrelevant_20
d_map_30 = ()
-> ()
-> ()
-> ()
-> (AgdaAny -> AgdaAny)
-> T_Irrelevant_20
-> T_Irrelevant_20
forall a. a
erased
-- Data.Irrelevant.pure
d_pure_36 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> AgdaAny -> T_Irrelevant_20
d_pure_36 :: () -> () -> AgdaAny -> T_Irrelevant_20
d_pure_36 = () -> () -> AgdaAny -> T_Irrelevant_20
forall a. a
erased
-- Data.Irrelevant._<*>_
d__'60''42''62'__40 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () -> T_Irrelevant_20 -> T_Irrelevant_20 -> T_Irrelevant_20
d__'60''42''62'__40 :: ()
-> ()
-> ()
-> ()
-> T_Irrelevant_20
-> T_Irrelevant_20
-> T_Irrelevant_20
d__'60''42''62'__40 = ()
-> ()
-> ()
-> ()
-> T_Irrelevant_20
-> T_Irrelevant_20
-> T_Irrelevant_20
forall a. a
erased
-- Data.Irrelevant._>>=_
d__'62''62''61'__46 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  T_Irrelevant_20 -> (AgdaAny -> T_Irrelevant_20) -> T_Irrelevant_20
d__'62''62''61'__46 :: ()
-> ()
-> ()
-> ()
-> T_Irrelevant_20
-> (AgdaAny -> T_Irrelevant_20)
-> T_Irrelevant_20
d__'62''62''61'__46 = ()
-> ()
-> ()
-> ()
-> T_Irrelevant_20
-> (AgdaAny -> T_Irrelevant_20)
-> T_Irrelevant_20
forall a. a
erased
-- Data.Irrelevant.zipWith
d_zipWith_52 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  () ->
  (AgdaAny -> AgdaAny -> AgdaAny) ->
  T_Irrelevant_20 -> T_Irrelevant_20 -> T_Irrelevant_20
d_zipWith_52 :: ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> (AgdaAny -> AgdaAny -> AgdaAny)
-> T_Irrelevant_20
-> T_Irrelevant_20
-> T_Irrelevant_20
d_zipWith_52 = ()
-> ()
-> ()
-> ()
-> ()
-> ()
-> (AgdaAny -> AgdaAny -> AgdaAny)
-> T_Irrelevant_20
-> T_Irrelevant_20
-> T_Irrelevant_20
forall a. a
erased