{-# 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.Algebra.Definitions.RawMagma 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
import qualified MAlonzo.Code.Algebra.Bundles.Raw

-- Algebra.Definitions.RawMagma._∣ˡ_
d__'8739''737'__28 :: p -> p -> p -> p -> p -> ()
d__'8739''737'__28 p
a0 p
a1 p
a2 p
a3 p
a4 = ()
data T__'8739''737'__28 = C__'44'__42 AgdaAny AgdaAny
-- Algebra.Definitions.RawMagma._∣ˡ_.quotient
d_quotient_38 :: T__'8739''737'__28 -> AgdaAny
d_quotient_38 :: T__'8739''737'__28 -> AgdaAny
d_quotient_38 T__'8739''737'__28
v0
  = case T__'8739''737'__28 -> T__'8739''737'__28
forall a b. a -> b
coe T__'8739''737'__28
v0 of
      C__'44'__42 AgdaAny
v1 AgdaAny
v2 -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1
      T__'8739''737'__28
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Algebra.Definitions.RawMagma._∣ˡ_.equality
d_equality_40 :: T__'8739''737'__28 -> AgdaAny
d_equality_40 :: T__'8739''737'__28 -> AgdaAny
d_equality_40 T__'8739''737'__28
v0
  = case T__'8739''737'__28 -> T__'8739''737'__28
forall a b. a -> b
coe T__'8739''737'__28
v0 of
      C__'44'__42 AgdaAny
v1 AgdaAny
v2 -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v2
      T__'8739''737'__28
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Algebra.Definitions.RawMagma._∤ˡ_
d__'8740''737'__44 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Algebra.Bundles.Raw.T_RawMagma_44 ->
  AgdaAny -> AgdaAny -> ()
d__'8740''737'__44 :: () -> () -> T_RawMagma_44 -> AgdaAny -> AgdaAny -> ()
d__'8740''737'__44 = () -> () -> T_RawMagma_44 -> AgdaAny -> AgdaAny -> ()
forall a. a
erased
-- Algebra.Definitions.RawMagma._∣ʳ_
d__'8739''691'__54 :: p -> p -> p -> p -> p -> ()
d__'8739''691'__54 p
a0 p
a1 p
a2 p
a3 p
a4 = ()
data T__'8739''691'__54 = C__'44'__68 AgdaAny AgdaAny
-- Algebra.Definitions.RawMagma._∣ʳ_.quotient
d_quotient_64 :: T__'8739''691'__54 -> AgdaAny
d_quotient_64 :: T__'8739''691'__54 -> AgdaAny
d_quotient_64 T__'8739''691'__54
v0
  = case T__'8739''691'__54 -> T__'8739''691'__54
forall a b. a -> b
coe T__'8739''691'__54
v0 of
      C__'44'__68 AgdaAny
v1 AgdaAny
v2 -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v1
      T__'8739''691'__54
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Algebra.Definitions.RawMagma._∣ʳ_.equality
d_equality_66 :: T__'8739''691'__54 -> AgdaAny
d_equality_66 :: T__'8739''691'__54 -> AgdaAny
d_equality_66 T__'8739''691'__54
v0
  = case T__'8739''691'__54 -> T__'8739''691'__54
forall a b. a -> b
coe T__'8739''691'__54
v0 of
      C__'44'__68 AgdaAny
v1 AgdaAny
v2 -> AgdaAny -> AgdaAny
forall a b. a -> b
coe AgdaAny
v2
      T__'8739''691'__54
_ -> AgdaAny
forall a. a
MAlonzo.RTE.mazUnreachableError
-- Algebra.Definitions.RawMagma._∤ʳ_
d__'8740''691'__70 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Algebra.Bundles.Raw.T_RawMagma_44 ->
  AgdaAny -> AgdaAny -> ()
d__'8740''691'__70 :: () -> () -> T_RawMagma_44 -> AgdaAny -> AgdaAny -> ()
d__'8740''691'__70 = () -> () -> T_RawMagma_44 -> AgdaAny -> AgdaAny -> ()
forall a. a
erased
-- Algebra.Definitions.RawMagma._∣_
d__'8739'__76 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Algebra.Bundles.Raw.T_RawMagma_44 ->
  AgdaAny -> AgdaAny -> ()
d__'8739'__76 :: () -> () -> T_RawMagma_44 -> AgdaAny -> AgdaAny -> ()
d__'8739'__76 = () -> () -> T_RawMagma_44 -> AgdaAny -> AgdaAny -> ()
forall a. a
erased
-- Algebra.Definitions.RawMagma._∤_
d__'8740'__78 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Algebra.Bundles.Raw.T_RawMagma_44 ->
  AgdaAny -> AgdaAny -> ()
d__'8740'__78 :: () -> () -> T_RawMagma_44 -> AgdaAny -> AgdaAny -> ()
d__'8740'__78 = () -> () -> T_RawMagma_44 -> AgdaAny -> AgdaAny -> ()
forall a. a
erased
-- Algebra.Definitions.RawMagma._∥_
d__'8741'__84 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Algebra.Bundles.Raw.T_RawMagma_44 ->
  AgdaAny -> AgdaAny -> ()
d__'8741'__84 :: () -> () -> T_RawMagma_44 -> AgdaAny -> AgdaAny -> ()
d__'8741'__84 = () -> () -> T_RawMagma_44 -> AgdaAny -> AgdaAny -> ()
forall a. a
erased
-- Algebra.Definitions.RawMagma._∦_
d__'8742'__90 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Algebra.Bundles.Raw.T_RawMagma_44 ->
  AgdaAny -> AgdaAny -> ()
d__'8742'__90 :: () -> () -> T_RawMagma_44 -> AgdaAny -> AgdaAny -> ()
d__'8742'__90 = () -> () -> T_RawMagma_44 -> AgdaAny -> AgdaAny -> ()
forall a. a
erased
-- Algebra.Definitions.RawMagma._∣∣_
d__'8739''8739'__96 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Algebra.Bundles.Raw.T_RawMagma_44 ->
  AgdaAny -> AgdaAny -> ()
d__'8739''8739'__96 :: () -> () -> T_RawMagma_44 -> AgdaAny -> AgdaAny -> ()
d__'8739''8739'__96 = () -> () -> T_RawMagma_44 -> AgdaAny -> AgdaAny -> ()
forall a. a
erased
-- Algebra.Definitions.RawMagma._∤∤_
d__'8740''8740'__98 ::
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Agda.Primitive.T_Level_18 ->
  MAlonzo.Code.Algebra.Bundles.Raw.T_RawMagma_44 ->
  AgdaAny -> AgdaAny -> ()
d__'8740''8740'__98 :: () -> () -> T_RawMagma_44 -> AgdaAny -> AgdaAny -> ()
d__'8740''8740'__98 = () -> () -> T_RawMagma_44 -> AgdaAny -> AgdaAny -> ()
forall a. a
erased