content: {-# 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.Agda.Builtin.Char where
  
  import Data.Char qualified
  import Data.Text 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
  
  -- Agda.Builtin.Char.Char
  type T_Char_6 = Char
  d_Char_6
    = error
        "MAlonzo Runtime Error: postulate evaluated: Agda.Builtin.Char.Char"
  -- Agda.Builtin.Char.primIsLower
  d_primIsLower_8 = Data.Char.isLower
  -- Agda.Builtin.Char.primIsDigit
  d_primIsDigit_10 = Data.Char.isDigit
  -- Agda.Builtin.Char.primIsAlpha
  d_primIsAlpha_12 = Data.Char.isAlpha
  -- Agda.Builtin.Char.primIsSpace
  d_primIsSpace_14 = Data.Char.isSpace
  -- Agda.Builtin.Char.primIsAscii
  d_primIsAscii_16 = Data.Char.isAscii
  -- Agda.Builtin.Char.primIsLatin1
  d_primIsLatin1_18 = Data.Char.isLatin1
  -- Agda.Builtin.Char.primIsPrint
  d_primIsPrint_20 = Data.Char.isPrint
  -- Agda.Builtin.Char.primIsHexDigit
  d_primIsHexDigit_22 = Data.Char.isHexDigit
  -- Agda.Builtin.Char.primToUpper
  d_primToUpper_24 = Data.Char.toUpper
  -- Agda.Builtin.Char.primToLower
  d_primToLower_26 = Data.Char.toLower
  -- Agda.Builtin.Char.primCharToNat
  d_primCharToNat_28 = (fromIntegral . fromEnum :: Char -> Integer)
  -- Agda.Builtin.Char.primNatToChar
  d_primNatToChar_30 = MAlonzo.RTE.natToChar
  -- Agda.Builtin.Char.primCharEquality
  d_primCharEquality_32
    = (\ x y -> ((==) :: Char -> Char -> Bool) ( x) ( y))
  