ekmett / ekmett/hyperfunctions
Hyper a b = Fix (Ran (Const a) (Const b))
Open
- Dominant language
- Haskell
- Stars
- 17
- Forks
- 7
- PR merge metrics
- No merged PRs in 30d
Description
Hyperfunctions
```haskell
newtype Hyper a b = Hyper (Hyper b a -> b)
```
can be defined as a fixed point of a right Kan extension of two constant functors
```haskell
type Hyper a b = Fix (Ran (Const a) (Const b))
```
Is this useful / known / does it lead to any insights?
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.