1// Generated by purs version 0.13.6
3var $foreign = require("./foreign.js");
4var Data_Maybe = require("../Data.Maybe/index.js");
5var Data_Tuple = require("../Data.Tuple/index.js");
6var Data_Unfoldable1 = require("../Data.Unfoldable1/index.js");
7var Unfoldable = function (Unfoldable10, unfoldr) {
8 this.Unfoldable10 = Unfoldable10;
9 this.unfoldr = unfoldr;
11var unfoldr = function (dict) {
14var unfoldableArray = new Unfoldable(function ($dollar__unused) {
15 return Data_Unfoldable1.unfoldable1Array;
16}, $foreign.unfoldrArrayImpl(Data_Maybe.isNothing)(Data_Maybe.fromJust())(Data_Tuple.fst)(Data_Tuple.snd));
18 Unfoldable: Unfoldable,
20 unfoldableArray: unfoldableArray
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