ruidy/functional-programming-jargon
1
0
Fork 0
mirror of https://github.com/rjNemo/functional-programming-jargon synced 2026-06-06 02:26:43 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

Added Contracts (#127)

Browse source 
* Added description of contracts

* Added ES6 example

* linted and toc
This commit is contained in:
Nick Zuber 2016-12-19 23:28:45 -05:00 committed by Jethro Larson
parent eceef7553d
commit b77effbd02
1 changed files with 16 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

17
readme.md
View file

@ -31,6 +31,8 @@ __Table of Contents__
* [Value](#value)
* [Constant](#constant)
* [Functor](#functor)
* [Preserves identity](#preserves-identity)
* [Composable](#composable)
* [Pointed Functor](#pointed-functor)
* [Lift](#lift)
* [Referential Transparency](#referential-transparency)
@ -270,7 +272,20 @@ const predicate = (a) => a > 2
## Contracts
TODO
A contract specifies the obligations and guarentees of the behavior from a function or expression at runtime. This acts as a set of rules that are expected from the input and output of a function or expression, and errors are generally reported whenever a contract is violated.
```js
// Define our contract : int -> int
const contract = (input) => {
if (typeof input === 'number') return true
throw new Error('Contract violated: expected int -> int')
}
const addOne = (num) => contract(num) && num + 1
addOne(2) // 3
addOne('some string') // Contract violated: expected int -> int
```
## Guarded Functions