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

What4.Utils.OnlyIntRepr

Description

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

Synopsis

Documentation

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

Constructors

Instances details

TestEquality OnlyIntRepr Source #
Instance details Defined in What4.Utils.OnlyIntRepr Methods testEquality :: forall (a :: k) (b :: k). OnlyIntRepr a -> OnlyIntRepr b -> Maybe (a :~: b) #
HashableF OnlyIntRepr Source #
Instance details Defined in What4.Utils.OnlyIntRepr Methods hashWithSaltF :: forall (tp :: k). Int -> OnlyIntRepr tp -> Int # hashF :: forall (tp :: k). OnlyIntRepr tp -> Int #
Eq (OnlyIntRepr tp) Source #
Instance details Defined in What4.Utils.OnlyIntRepr Methods (==) :: OnlyIntRepr tp -> OnlyIntRepr tp -> Bool # (/=) :: OnlyIntRepr tp -> OnlyIntRepr tp -> Bool #
Hashable (OnlyIntRepr tp) Source #
Instance details Defined in What4.Utils.OnlyIntRepr Methods hashWithSalt :: Int -> OnlyIntRepr tp -> Int # hash :: OnlyIntRepr tp -> Int #