Safe HaskellNone

MAlonzo.RTE

Documentation

type AgdaAny = Any Source #

coe :: a -> b Source #

data QName Source #

Constructors

QName 

Fields

Instances
Eq QName Source # 
Instance details

Defined in MAlonzo.RTE

Methods

(==) :: QName -> QName -> Bool

(/=) :: QName -> QName -> Bool

Ord QName Source # 
Instance details

Defined in MAlonzo.RTE

Methods

compare :: QName -> QName -> Ordering

(<) :: QName -> QName -> Bool

(<=) :: QName -> QName -> Bool

(>) :: QName -> QName -> Bool

(>=) :: QName -> QName -> Bool

max :: QName -> QName -> QName

min :: QName -> QName -> QName

data Assoc Source #

Constructors

NonAssoc 
LeftAssoc 
RightAssoc 

data Precedence Source #

Constructors

Unrelated 
Related PrecedenceLevel 

data Fixity Source #

Constructors

Fixity Assoc Precedence 

type PrecedenceLevel = Double Source #

erased :: a Source #

mazUnreachableError :: a Source #

mazHole :: String -> a Source #

addInt :: Integer -> Integer -> Integer Source #

subInt :: Integer -> Integer -> Integer Source #

mulInt :: Integer -> Integer -> Integer Source #

geqInt :: Integer -> Integer -> Bool Source #

ltInt :: Integer -> Integer -> Bool Source #

eqInt :: Integer -> Integer -> Bool Source #

quotInt :: Integer -> Integer -> Integer Source #

remInt :: Integer -> Integer -> Integer Source #

natToChar :: Integer -> Char Source #

type Word64 = Word64 Source #

word64ToNat :: Word64 -> Integer Source #

word64FromNat :: Integer -> Word64 Source #

add64 :: Word64 -> Word64 -> Word64 Source #

sub64 :: Word64 -> Word64 -> Word64 Source #

mul64 :: Word64 -> Word64 -> Word64 Source #

quot64 :: Word64 -> Word64 -> Word64 Source #

rem64 :: Word64 -> Word64 -> Word64 Source #

eq64 :: Word64 -> Word64 -> Bool Source #

lt64 :: Word64 -> Word64 -> Bool Source #

data Inf a Source #

Constructors

Sharp 

Fields

type Infinity (level :: *) a = Inf a Source #