MAlonzo.RTE
type AgdaAny = Any Source #
coe ∷ a → b Source #
data QName Source #
Constructors
Fields
Defined in MAlonzo.RTE
Methods
(==) ∷ QName → QName → Bool Source #
(/=) ∷ QName → QName → Bool Source #
compare ∷ QName → QName → Ordering Source #
(<) ∷ QName → QName → Bool Source #
(<=) ∷ QName → QName → Bool Source #
(>) ∷ QName → QName → Bool Source #
(>=) ∷ QName → QName → Bool Source #
max ∷ QName → QName → QName Source #
min ∷ QName → QName → QName Source #
data Assoc Source #
data Precedence Source #
data Fixity Source #
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 #
type Infinity (level ∷ Type) a = Inf a Source #