structural-typing.api.type-repo

The TypeRepo structure and its functions.

->TypeRepo

(->TypeRepo success-handler error-handler)

Positional factory function for class structural_typing.api.type_repo.TypeRepo.

view source

description

(description type-repo type-signifier)

Returns the canonical (expanded) description of the type-signifier.

view source

empty-type-repo

A type repo that contains no types and uses the default success and error handlers.

view source

map->TypeRepo

(map->TypeRepo m__6289__auto__)

Factory function for class structural_typing.api.type_repo.TypeRepo, taking a map of keywords to field values.

view source

origin

(origin type-repo type-signifier)

Returns the original description of the type-signifier (a sequence of vectors and maps)

view source

TypeRepoLike

protocol

members

check-type

(check-type type-repo type-signifier candidate)

hold-type

(hold-type type-repo type-signifier type-descriptions)

replace-error-handler

(replace-error-handler type-repo handler)

For this type-repo, pass oopsies generated by type failures to handler as the last step in checked.

replace-success-handler

(replace-success-handler type-repo handler)

For this type-repo, handle candidates that typecheck successfully by passing them to handler as the last step in checked..

the-error-handler

(the-error-handler type-repo)

the-success-handler

(the-success-handler type-repo)
view source