covenant
Copyright(C) MLabs 2025
LicenseApache 2.0
Maintainerkoz@mlabs.city, sean@mlabs.city
Safe HaskellNone
LanguageHaskell2010

Covenant.Test

Description

Utilities designed to help test Covenant itself.

Since: 1.0.0

Synopsis

Documentation

newtype Concrete Source #

Wrapper for ValT to provide an Arbitrary instance to generate only value types without any type variables.

Since: 1.0.0

Constructors

Concrete (ValT AbstractTy) 

Instances

Instances details
Arbitrary Concrete Source #

Since: 1.0.0

Instance details

Defined in Covenant.Test

Methods

arbitrary :: Gen Concrete #

shrink :: Concrete -> [Concrete] #

Show Concrete Source #

Since: 1.0.0

Instance details

Defined in Covenant.Test

Methods

showsPrec :: Int -> Concrete -> ShowS #

show :: Concrete -> String #

showList :: [Concrete] -> ShowS #

Eq Concrete Source #

Since: 1.0.0

Instance details

Defined in Covenant.Test

Methods

(==) :: Concrete -> Concrete -> Bool #

(/=) :: Concrete -> Concrete -> Bool #