Guix

This module provides various type-testing functions. These are intended for functions that care what type of data they are operating on. There are two flavours of function. Functions of the first flavour provide type classification only. Functions of the second flavour also check that an argument is of an expected type. The type enforcement functions handle only the simplest requirements for arguments of the types handled by the classification functions. Enforcement of more complex types may be built using the classification functions, or it may be more convenient to use a module designed for the more complex job, such as Params::Validate