idris-lang/Idris2
1
1
Fork 0
mirror of https://github.com/idris-lang/Idris2.git synced 2025-01-08 17:01:15 +03:00
Code Issues Projects Releases Wiki Activity
28cf2a3083
Idris2/libs/prelude/Prelude/Ops.idr

29 lines
415 B
Idris
Raw Normal View History

Reorganise prelude into multiple files This is partly to tidy things up, but also a good test for 'import as'. Requires some internal changes since there are parts of reflection, unelaboration and a compiler hack that rely on where things are in the Prelude.
2020-07-12 17:54:10 +03:00
module Prelude.Ops
-- Numerical operators
infix 6 ==, /=, <, <=, >, >=
infixl 7 <<, >> -- unused
infixl 8 +, -
infixl 9 *, /
-- Boolean operators
Restore Bool operators precedence (&&) traditionally has higher precedence than (||). Note that this commit requires to bootstrap again.
2020-05-09 17:33:54 +03:00
infixr 5 &&
infixr 4 ||
Reorganise prelude into multiple files This is partly to tidy things up, but also a good test for 'import as'. Requires some internal changes since there are parts of reflection, unelaboration and a compiler hack that rely on where things are in the Prelude.
2020-07-12 17:54:10 +03:00
-- List and String operators
infixr 7 ::, ++
-- Functor/Applicative/Monad/Algebra operators
infixl 1 >>=
infixr 2 <|>
infixl 3 <*>, *>, <*
refactor Data.String.Parser (#579)
2020-08-22 10:13:34 +03:00
infixr 4 <$>, $>, <$
Reorganise prelude into multiple files This is partly to tidy things up, but also a good test for 'import as'. Requires some internal changes since there are parts of reflection, unelaboration and a compiler hack that rely on where things are in the Prelude.
2020-07-12 17:54:10 +03:00
infixl 6 <+>
-- Utility operators
infixr 9 .
infixr 0 $
infixl 9 `div`, `mod`
Reference in New Issue Copy Permalink