Copyright	(c) Galois Inc. 2020
License	BSD3
Maintainer	Joe Hendrix <jhendrix@galois.com>
Safe Haskell	None
Language	Haskell2010

What4.Utils.OnlyNatRepr

Description

Defines a GADT for indicating a base type must be a natural number. Used for restricting index types in MATLAB arrays.

Synopsis

Documentation

This provides a GADT instance used to indicate a BaseType must have value BaseNatType.

Constructors

Instances

TestEquality OnlyNatRepr Source #
Instance details Defined in What4.Utils.OnlyNatRepr Methods testEquality :: OnlyNatRepr a -> OnlyNatRepr b -> Maybe (a :~: b) #
HashableF OnlyNatRepr Source #
Instance details Defined in What4.Utils.OnlyNatRepr Methods hashWithSaltF :: Int -> OnlyNatRepr tp -> Int # hashF :: OnlyNatRepr tp -> Int #
Hashable (OnlyNatRepr tp) Source #
Instance details Defined in What4.Utils.OnlyNatRepr Methods hashWithSalt :: Int -> OnlyNatRepr tp -> Int # hash :: OnlyNatRepr tp -> Int #