<html>
<head>
<meta name="description" content="Func Category id commutativity">
<meta charset="utf-8">
<meta name="viewport" content="width=device-width">
<title>Func Cateogry id commutativity</title>
</head>
<body>
</body>
</html>
class Func {
constructor(f) {
// this.run = f
this.run = x => f(x)
// this :: Cat (x ↣ y)
// Cat (y ↣ z) -> Cat (x ↣ z)
this.pipe = g => new Func(x => g.run(this.run(x)))
// utility function that pipes Func to a normal function
// this :: Cat (x ↣ y)
// (y -> z) -> Cat (x ↣ z)
this.pipeTo = g => new Func(x => g(this.run(x)))
}
}
// Cat (x ↣ x)
Func.id = new Func(x => x)
// usge example:
const a = Func.id.pipe(new Func(x => x * 2)).run(10)
const b = new Func(x => x * 2).pipe(Func.id).run(10)
console.log(`id ⋙ cat : ${a}`)
console.log(`cat ⋙ id : ${b}`)
Output
This bin was created anonymously and its free preview time has expired (learn why). — Get a free unrestricted account
Dismiss xKeyboard Shortcuts
Shortcut | Action |
---|---|
ctrl + [num] | Toggle nth panel |
ctrl + 0 | Close focused panel |
ctrl + enter | Re-render output. If console visible: run JS in console |
Ctrl + l | Clear the console |
ctrl + / | Toggle comment on selected lines |
ctrl + ] | Indents selected lines |
ctrl + [ | Unindents selected lines |
tab | Code complete & Emmet expand |
ctrl + shift + L | Beautify code in active panel |
ctrl + s | Save & lock current Bin from further changes |
ctrl + shift + s | Open the share options |
ctrl + y | Archive Bin |
Complete list of JS Bin shortcuts |
JS Bin URLs
URL | Action |
---|---|
/ | Show the full rendered output. This content will update in real time as it's updated from the /edit url. |
/edit | Edit the current bin |
/watch | Follow a Code Casting session |
/embed | Create an embeddable version of the bin |
/latest | Load the very latest bin (/latest goes in place of the revision) |
/[username]/last | View the last edited bin for this user |
/[username]/last/edit | Edit the last edited bin for this user |
/[username]/last/watch | Follow the Code Casting session for the latest bin for this user |
/quiet | Remove analytics and edit button from rendered output |
.js | Load only the JavaScript for a bin |
.css | Load only the CSS for a bin |
Except for username prefixed urls, the url may start with http://jsbin.com/abc and the url fragments can be added to the url to view it differently. |