Agda-2.2.10: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.TypeChecking.Empty
Synopsis
isEmptyType :: MonadTCM tcm => Type -> tcm ()
isEmptyTypeC :: MonadTCM tcm => Type -> tcm Constraints
Documentation
isEmptyType :: MonadTCM tcm => Type -> tcm ()Source
Make sure that a type is empty.
isEmptyTypeC :: MonadTCM tcm => Type -> tcm ConstraintsSource
Produced by Haddock version 2.6.1