;; This file declares the various types used by intrinsic/prelude definitions
;; It is sort of special in that it doesn't care whether there are any associated definitions
;; just that there are type definitions for that particular binding's name


;; Type definitions
deftype String (A300 Char)

deftype Int Intrinsic

deftype Float Intrinsic

deftype Char Intrinsic

deftype Byte Intrinsic

deftype Void Intrinsic

deftype IO Intrinsic

deftype (List a)
  (Empty |
   (Cons a (List a)))

deftype (Maybe a)
  (Nothing |
   (Just a))

deftype (Either a b)
  ((Left a) |
   (Right b))

;; List functions

(: :: (a -> (List a) -> (List a)))

(map :: ((a -> b) -> (List a) -> (List b)))

(head :: ((List a) -> a))

(tail :: ((List a) -> (List a)))

(!! :: (Int -> (List a) -> a))

(take :: (Int -> (List a) -> (Maybe (List a))))

(drop :: (Int -> (List a) -> (Maybe (List a))))

;; Optional functions

(maybe :: (b -> (a -> b) -> (Maybe a) -> b))

(either :: ((b -> c) -> (b -> c) -> (Either a b) -> c))

;; I/O functions

(print :: (String -> (IO Void)))

;; Operator definitions

defop 3 Left (a + b)
  (add a b)

defop 3 Left (a - b)
  (minus a b)

defop 4 Left (a * b)
  (mul a b)

defop 4 Left (a / b)
  (div a b)

defop 5 Right (a ^ b)
  (pow a b)

defop 3 Left (a ++ b)
  (listConcat a b)

defop 2 Left (a == b)
  (eq a b)

defop 2 Left (a > b)
  (gt a b)

defop 2 Left (a >= b)
  (gte a b)

defop 2 Left (a < b)
  (lt a b)

defop 2 Left (a <= b)
  (lte a b)

defop 2 Left (a && b)
  (and a b)

defop 2 Left (a || b)
  (or a b)

defop 1 Left (x : xs)
  (cons x xs)

defop 1 Left (f $ x)
  (fapply f x)

defop 1 Left (f . g)
  (compose f g)

defop 1 Left (a | b)
  (bitwiseOr a b)

defop 1 Left (a & b)
  (bitwiseAnd a b)