dyokomizo/Fix.hs

Last active January 3, 2016 09:39

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/dyokomizo/8443850.js"></script>
Save dyokomizo/8443850 to your computer and use it in GitHub Desktop.

Download ZIP

Raw

Fix.hs

	module Fix where

	left :: a -> (a -> c) -> (b -> c) -> c
	left a l r = l a

	right :: b -> (a -> c) -> (b -> c) -> c
	right b l r = r b

	fix f a = f a (fix f) id

Author

dyokomizo commented Jan 15, 2014

-- ghci output
Fix> fix (\x -> if x > 0 then left (x - 1) else right True) 10
True

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment