Added haddock comment for `Core.TT.tcname`
commit3f2755ba633b01106f5170c52b31d7e880c8272b
authorAlyssa Carter <trillionalyssa@gmail.com>
dateTue 14 Jan 2014, 04:45 (13 years ago)
parentc486513
src/Idris/Core/TT.hs+2
@@ -297,6 +297,8 @@ showCG NErased = "_"
297297type Ctxt a = Map.Map Name (Map.Map Name a)
298298emptyContext = Map.empty
299299
300+-- |Return True if the argument Name should be interpreted as the name of a
301+-- typeclass.
300302tcname (UN ('@':_)) = True
301303tcname (NS n _) = tcname n
302304tcname (SN (InstanceN _ _)) = True