1// Generated by purs version 0.15.16
2import * as Data_Either from "../Data.Either/index.js";
3import * as Data_Function from "../Data.Function/index.js";
4import * as Data_Lens_Prism from "../Data.Lens.Prism/index.js";
5import * as Data_Maybe from "../Data.Maybe/index.js";
6import * as Data_Unit from "../Data.Unit/index.js";
7var _Nothing = function (dictChoice) {
8 return Data_Lens_Prism.prism(Data_Function["const"](Data_Maybe.Nothing.value))(Data_Maybe.maybe(new Data_Either.Right(Data_Unit.unit))(Data_Function["const"](new Data_Either.Left(Data_Maybe.Nothing.value))))(dictChoice);
10var _Just = function (dictChoice) {
11 return Data_Lens_Prism.prism(Data_Maybe.Just.create)(Data_Maybe.maybe(new Data_Either.Left(Data_Maybe.Nothing.value))(Data_Either.Right.create))(dictChoice);
17//# sourceMappingURL=index.js.map
keysesc to close
- j k
- move down, up
- enter
- open
- esc
- back, or up a level
- 1 2 3 4
- readme, files, commits, refs
- /
- filter
- y
- copy the clone command
- c
- compare the chosen commit with another (or shift-click both)
- ?
- show or hide this list