pkamenarsky/Index.purs

Created February 10, 2016 15:15

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/pkamenarsky/b53abbabd44e2123def6.js"></script>
Save pkamenarsky/b53abbabd44e2123def6 to your computer and use it in GitHub Desktop.

Download ZIP

Raw

	import Data.Lens
	import Data.Lens.Index

	viewIndex :: forall m a b. (Index m a b) => m -> a -> b
	viewIndex m a = view (ix a) m

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