on master help sign in
Instance docs: haddocks grammar
5ca59efAdam Sandberg Eriksson
src/Idris/AbsSyntaxTree.hs+1−1
@@ -610,7 +610,7 @@ data PDecl' t
610 t -- full instance type
610 t -- full instance type
611 (Maybe Name) -- explicit name
611 (Maybe Name) -- explicit name
612 [PDecl' t]
612 [PDecl' t]
613− -- ^ Instance declaration: documentation, arguments are syntax info, source
613+ -- ^ Instance declaration: arguments are documentation, syntax info, source
614 -- location, constraints, class name, parameters, full instance
614 -- location, constraints, class name, parameters, full instance
615 -- type, optional explicit name, and definitions
615 -- type, optional explicit name, and definitions
616 | PDSL Name (DSL' t) -- ^ DSL declaration
616 | PDSL Name (DSL' t) -- ^ DSL declaration