{-# 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
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"
d_primIsLower_8 :: Char -> Bool
d_primIsLower_8 = Char -> Bool
Data.Char.isLower
d_primIsDigit_10 :: Char -> Bool
d_primIsDigit_10 = Char -> Bool
Data.Char.isDigit
d_primIsAlpha_12 :: Char -> Bool
d_primIsAlpha_12 = Char -> Bool
Data.Char.isAlpha
d_primIsSpace_14 :: Char -> Bool
d_primIsSpace_14 = Char -> Bool
Data.Char.isSpace
d_primIsAscii_16 :: Char -> Bool
d_primIsAscii_16 = Char -> Bool
Data.Char.isAscii
d_primIsLatin1_18 :: Char -> Bool
d_primIsLatin1_18 = Char -> Bool
Data.Char.isLatin1
d_primIsPrint_20 :: Char -> Bool
d_primIsPrint_20 = Char -> Bool
Data.Char.isPrint
d_primIsHexDigit_22 :: Char -> Bool
d_primIsHexDigit_22 = Char -> Bool
Data.Char.isHexDigit
d_primToUpper_24 :: Char -> Char
d_primToUpper_24 = Char -> Char
Data.Char.toUpper
d_primToLower_26 :: Char -> Char
d_primToLower_26 = Char -> Char
Data.Char.toLower
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)
d_primNatToChar_30 :: Integer -> Char
d_primNatToChar_30 = Integer -> Char
MAlonzo.RTE.natToChar
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))