git.iko.soy/rowtype-yoga/psfp
on 134dc56 help sign in
rowtype-yoga/psfp/client/dce-output/Data.Bounded/index.js
28 lines 757 B history raw
1// Generated by purs version 0.13.6
2"use strict";
3var $foreign = require("./foreign.js");
4var Data_Ord = require("../Data.Ord/index.js");
5var Bounded = function (Ord0, bottom, top) {
6 this.Ord0 = Ord0;
7 this.bottom = bottom;
8 this.top = top;
9};
10var top = function (dict) {
11 return dict.top;
12};
13var boundedInt = new Bounded(function ($dollar__unused) {
14 return Data_Ord.ordInt;
15}, $foreign.bottomInt, $foreign.topInt);
16var boundedChar = new Bounded(function ($dollar__unused) {
17 return Data_Ord.ordChar;
18}, $foreign.bottomChar, $foreign.topChar);
19var bottom = function (dict) {
20 return dict.bottom;
21};
22module.exports = {
23 Bounded: Bounded,
24 bottom: bottom,
25 top: top,
26 boundedInt: boundedInt,
27 boundedChar: boundedChar
28};