ddc-core-0.4.3.1: Disciplined Disciple Compiler core language and type checker.
DDC.Type.Exp.Generic.Predicates
Description
Predicates on type expressions.
Synopsis
isAtomT :: GType l -> Bool Source #
Check whether a type is a TVar or TCon.
TVar
TCon