In type theory and functional programming, a type that has only one value, often denoted as '()', 'Unit', or 'void', typically used to represent the absence of meaningful information or as a placeholder in type signatures.

"The unit type in Haskell is used to represent computations that produce no meaningful result."