1
1
mirror of https://github.com/idris-lang/Idris2.git synced 2024-12-19 17:21:59 +03:00
Idris2/libs/base/Data
Niklas Larsson bba15974a5 Add takeWhile
add substring and length primitives to Data.Strings
2020-07-05 21:51:11 +02:00
..
Bool various stdlib updates 2020-06-11 23:14:11 +02:00
IOArray Add experimental support for linear arrays 2020-06-12 14:08:00 +01:00
List Fix import loading 2020-05-27 15:49:03 +01:00
Nat Fix import loading 2020-05-27 15:49:03 +01:00
Primitives Add libraries 2020-05-18 14:00:08 +01:00
Vect Vect updates () 2020-07-04 11:02:04 +01:00
Bool.idr Function mapping Not (x=True) to x=False was added for Bools () 2020-06-19 11:13:13 +01:00
Buffer.idr Convert Data.Buffer to HasIO 2020-07-01 23:33:30 +02:00
DPair.idr A port of Subset and Exists from Idris1. 2020-07-04 11:03:14 +01:00
Either.idr Add libraries 2020-05-18 14:00:08 +01:00
Fin.idr various stdlib updates 2020-06-11 23:14:11 +02:00
Fuel.idr add Data.Fuel 2020-06-02 17:20:42 +02:00
IOArray.idr Back to HasIO, remove MonadIO 2020-06-21 19:21:22 +01:00
IORef.idr Back to HasIO, remove MonadIO 2020-06-21 19:21:22 +01:00
List.idr [ fix ] make some exports public 2020-07-03 12:01:09 +01:00
Maybe.idr Add a total version of the fromMaybe 2020-05-21 02:11:35 +08:00
Morphisms.idr Add libraries 2020-05-18 14:00:08 +01:00
Nat.idr Fill in missing Nat proofs 2020-06-15 14:56:19 -05:00
Ref.idr Back to HasIO, remove MonadIO 2020-06-21 19:21:22 +01:00
So.idr various stdlib updates 2020-06-11 23:14:11 +02:00
Stream.idr Add libraries 2020-05-18 14:00:08 +01:00
Strings.idr Add takeWhile 2020-07-05 21:51:11 +02:00
Vect.idr Vect updates () 2020-07-04 11:02:04 +01:00