{-# 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 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.Char
import qualified Data.Text

-- Agda.Builtin.Char.Char
type T_Char_6 = Char
d_Char_6 :: a
d_Char_6
  = [Char] -> a
forall a. HasCallStack => [Char] -> a
error
      [Char]
"MAlonzo Runtime Error: postulate evaluated: Agda.Builtin.Char.Char"
-- Agda.Builtin.Char.primIsLower
d_primIsLower_8 :: Char -> Bool
d_primIsLower_8 = Char -> Bool
Data.Char.isLower
-- Agda.Builtin.Char.primIsDigit
d_primIsDigit_10 :: Char -> Bool
d_primIsDigit_10 = Char -> Bool
Data.Char.isDigit
-- Agda.Builtin.Char.primIsAlpha
d_primIsAlpha_12 :: Char -> Bool
d_primIsAlpha_12 = Char -> Bool
Data.Char.isAlpha
-- Agda.Builtin.Char.primIsSpace
d_primIsSpace_14 :: Char -> Bool
d_primIsSpace_14 = Char -> Bool
Data.Char.isSpace
-- Agda.Builtin.Char.primIsAscii
d_primIsAscii_16 :: Char -> Bool
d_primIsAscii_16 = Char -> Bool
Data.Char.isAscii
-- Agda.Builtin.Char.primIsLatin1
d_primIsLatin1_18 :: Char -> Bool
d_primIsLatin1_18 = Char -> Bool
Data.Char.isLatin1
-- Agda.Builtin.Char.primIsPrint
d_primIsPrint_20 :: Char -> Bool
d_primIsPrint_20 = Char -> Bool
Data.Char.isPrint
-- Agda.Builtin.Char.primIsHexDigit
d_primIsHexDigit_22 :: Char -> Bool
d_primIsHexDigit_22 = Char -> Bool
Data.Char.isHexDigit
-- Agda.Builtin.Char.primToUpper
d_primToUpper_24 :: Char -> Char
d_primToUpper_24 = Char -> Char
Data.Char.toUpper
-- Agda.Builtin.Char.primToLower
d_primToLower_26 :: Char -> Char
d_primToLower_26 = Char -> Char
Data.Char.toLower
-- Agda.Builtin.Char.primCharToNat
d_primCharToNat_28 :: Char -> Integer
d_primCharToNat_28 = (Int -> Integer
forall a b. (Integral a, Num b) => a -> b
fromIntegral (Int -> Integer) -> (Char -> Int) -> Char -> Integer
forall b c a. (b -> c) -> (a -> b) -> a -> c
. Char -> Int
forall a. Enum a => a -> Int
fromEnum :: Char -> Integer)
-- Agda.Builtin.Char.primNatToChar
d_primNatToChar_30 :: Integer -> Char
d_primNatToChar_30 = Integer -> Char
MAlonzo.RTE.natToChar
-- Agda.Builtin.Char.primCharEquality
d_primCharEquality_32 :: Char -> Char -> Bool
d_primCharEquality_32
  = (\ Char
x Char
y -> (Char -> Char -> Bool
forall a. Eq a => a -> a -> Bool
(==) :: Char -> Char -> Bool) ( Char
x) ( Char
y))