structural-typing.assist.type-repo

The TypeRepo structure and its functions.

->TypeRepo

(->TypeRepo success-handler error-handler)

Positional factory function for class structural_typing.assist.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.assist.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

canonicalize

(canonicalize type-repo condensed-type-descriptions)

get-compiled-type

(get-compiled-type type-repo type-signifier)

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 built-like. Thus, built-like will return the handler’s result.

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 built-like. Thus, built-like will return the handler’s result.

the-error-handler

(the-error-handler type-repo)

the-success-handler

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

valid-type-signifier?

A valid type signifier is either a keyword or a string.

view source