Test.TypeSpec.Core

Core Data Type

data TypeSpec expectation

Expectations

type family EvalExpectation (expectation :: k) :: Result k

Pretty Printing Support

class PrettyTypeSpec t

prettyIndentation