File tree
3 files changed
+89
-65
lines changed- ghcjs
- lightning-verifier/src/App/Widgets
- miso-widgets/src/Functora/Miso/Widgets
- pub/functora/src/prelude/Functora
3 files changed
+89
-65
lines changedOriginal file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
63 | 63 |
| |
64 | 64 |
| |
65 | 65 |
| |
| 66 | + | |
66 | 67 |
| |
67 | 68 |
| |
68 | 69 |
| |
| |||
137 | 138 |
| |
138 | 139 |
| |
139 | 140 |
| |
| 141 | + | |
140 | 142 |
| |
141 | 143 |
| |
142 | 144 |
| |
| |||
166 | 168 |
| |
167 | 169 |
| |
168 | 170 |
| |
| 171 | + | |
169 | 172 |
| |
170 | 173 |
| |
171 |
| - | |
| 174 | + | |
172 | 175 |
| |
173 | 176 |
| |
174 | 177 |
| |
| |||
183 | 186 |
| |
184 | 187 |
| |
185 | 188 |
| |
186 |
| - | |
| 189 | + | |
187 | 190 |
| |
188 | 191 |
| |
189 | 192 |
| |
| |||
195 | 198 |
| |
196 | 199 |
| |
197 | 200 |
| |
198 |
| - | |
| 201 | + | |
199 | 202 |
| |
200 | 203 |
| |
201 | 204 |
| |
| |||
229 | 232 |
| |
230 | 233 |
| |
231 | 234 |
| |
232 |
| - | |
| 235 | + | |
233 | 236 |
| |
234 | 237 |
| |
235 | 238 |
| |
236 | 239 |
| |
237 |
| - | |
| 240 | + | |
238 | 241 |
| |
239 | 242 |
| |
240 | 243 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
813 | 813 |
| |
814 | 814 |
| |
815 | 815 |
| |
816 |
| - | |
817 |
| - | |
818 |
| - | |
819 |
| - | |
820 |
| - | |
821 |
| - | |
822 |
| - | |
823 |
| - | |
824 |
| - | |
825 |
| - | |
826 |
| - | |
827 |
| - | |
828 |
| - | |
829 |
| - | |
830 |
| - | |
831 |
| - | |
| 816 | + | |
| 817 | + | |
| 818 | + | |
| 819 | + | |
| 820 | + | |
| 821 | + | |
| 822 | + | |
| 823 | + | |
| 824 | + | |
| 825 | + | |
| 826 | + | |
| 827 | + | |
| 828 | + | |
| 829 | + | |
| 830 | + | |
| 831 | + | |
| 832 | + | |
| 833 | + | |
| 834 | + | |
| 835 | + | |
| 836 | + | |
832 | 837 |
| |
833 |
| - | |
834 |
| - | |
835 |
| - | |
836 |
| - | |
837 |
| - | |
838 |
| - | |
839 |
| - | |
840 |
| - | |
841 |
| - | |
842 |
| - | |
843 |
| - | |
844 |
| - | |
845 |
| - | |
846 |
| - | |
847 |
| - | |
848 |
| - | |
849 |
| - | |
850 |
| - | |
851 |
| - | |
852 |
| - | |
853 |
| - | |
854 |
| - | |
855 |
| - | |
856 |
| - | |
857 |
| - | |
858 |
| - | |
859 |
| - | |
860 |
| - | |
861 |
| - | |
862 |
| - | |
863 |
| - | |
864 |
| - | |
865 |
| - | |
866 |
| - | |
| 838 | + | |
| 839 | + | |
| 840 | + | |
| 841 | + | |
| 842 | + | |
| 843 | + | |
| 844 | + | |
| 845 | + | |
867 | 846 |
| |
868 | 847 |
| |
869 | 848 |
| |
870 | 849 |
| |
871 | 850 |
| |
872 |
| - | |
| 851 | + | |
| 852 | + | |
| 853 | + | |
| 854 | + | |
| 855 | + | |
873 | 856 |
| |
874 | 857 |
| |
875 | 858 |
| |
| |||
879 | 862 |
| |
880 | 863 |
| |
881 | 864 |
| |
| 865 | + | |
| 866 | + | |
| 867 | + | |
| 868 | + | |
| 869 | + | |
| 870 | + | |
| 871 | + | |
| 872 | + | |
| 873 | + | |
| 874 | + | |
| 875 | + | |
| 876 | + | |
| 877 | + | |
| 878 | + | |
| 879 | + | |
| 880 | + | |
| 881 | + | |
| 882 | + | |
| 883 | + | |
| 884 | + | |
| 885 | + | |
| 886 | + | |
| 887 | + | |
| 888 | + | |
| 889 | + | |
| 890 | + | |
| 891 | + | |
| 892 | + | |
| 893 | + | |
| 894 | + | |
| 895 | + | |
| 896 | + | |
| 897 | + | |
| 898 | + | |
| 899 | + | |
| 900 | + | |
| 901 | + | |
| 902 | + | |
| 903 | + | |
| 904 | + | |
| 905 | + | |
| 906 | + | |
882 | 907 |
| |
883 | 908 |
| |
884 | 909 |
| |
885 | 910 |
| |
886 | 911 |
| |
887 | 912 |
| |
888 |
| - | |
889 |
| - | |
890 |
| - | |
891 |
| - | |
892 |
| - | |
893 |
| - | |
894 |
| - | |
895 |
| - | |
896 |
| - | |
| 913 | + | |
897 | 914 |
| |
898 | 915 |
| |
899 | 916 |
| |
|
Original file line number | Diff line number | Diff line change | |
---|---|---|---|
| |||
28 | 28 |
| |
29 | 29 |
| |
30 | 30 |
| |
| 31 | + | |
31 | 32 |
| |
32 | 33 |
| |
33 | 34 |
| |
| |||
521 | 522 |
| |
522 | 523 |
| |
523 | 524 |
| |
| 525 | + | |
| 526 | + | |
| 527 | + | |
524 | 528 |
| |
525 | 529 |
| |
526 | 530 |
| |
|
0 commit comments