{-# 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 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.Primitive

-- 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