- 18 Jul, 2022 3 commits
-
-
Michael Hanus authored
-
Michael Hanus authored
Fix: Add missing (<*>) implementation for StateT See merge request !3
-
Michael Hanus authored
Add ReaderT and WriterT See merge request !2
-
- 07 Mar, 2022 9 commits
-
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
Fredrik Wieczerkowski authored
-
- 22 Mar, 2021 1 commit
-
-
Michael Hanus authored
-
- 18 Nov, 2020 2 commits
-
-
Michael Hanus authored
-
Finn Teegen authored
Define the State synonym partially See merge request !1
-
- 17 Nov, 2020 1 commit
-
-
Fredrik Wieczerkowski authored
This allows partial application of State, i.e. makes expressions like this possible: ExceptT String (State TIS) a
-
- 12 Apr, 2019 1 commit
-
-
Kai-Oliver Prott authored
-