Copyright | (c) Levent Erkok |
---|---|
License | BSD3 |
Maintainer | erkokl@gmail.com |
Stability | experimental |
Safe Haskell | None |
Language | Haskell2010 |
Demonstrates how lambda-abstractions can be used to model arrays.
Documentation
memset :: SArray Integer Integer -> SInteger -> SInteger -> SInteger -> SArray Integer Integer Source #
Given an array, and bounds on it, initialize it within the bounds to the element given. Otherwise, leave it untouched.
memsetExample :: IO ThmResult Source #
Prove a simple property: If we read from the initialized region, we get the initial value. We have:
>>>
memsetExample
Q.E.D.