Add colorable and decorable.

[haskell/symantic.git] / symantic-lib / Language / Symantic / Lib / Foldable.hs

diff --git a/symantic-lib/Language/Symantic/Lib/Foldable.hs b/symantic-lib/Language/Symantic/Lib/Foldable.hs
index a2aae2fd469143f42406c46583da292c158ee920..2596c48f18573c65a444fdcdc28c35284692ec61 100644 (file)
--- a/symantic-lib/Language/Symantic/Lib/Foldable.hs
+++ b/symantic-lib/Language/Symantic/Lib/Foldable.hs
@@ -10,7 +10,7 @@ import Data.Foldable (Foldable)
 import qualified Data.Foldable as Foldable
 import Prelude hiding (Foldable(..)
  , all, and, any, concat, concatMap
- , mapM_, notElem, or, sequence, sequence_)
+ , mapM_, notElem, or, sequence_)
 
 import Language.Symantic
 import Language.Symantic.Lib.Alternative (tyAlternative)
@@ -237,6 +237,8 @@ instance (Sym_Foldable r1, Sym_Foldable r2) => Sym_Foldable (Dup r1 r2) where
 instance (Sym_Foldable term, Sym_Lambda term) => Sym_Foldable (BetaT term)
 
 -- Typing
+instance NameTyOf Foldable where
+       nameTyOf _c = ["Foldable"] `Mod` "Foldable"
 instance FixityOf Foldable
 instance ClassInstancesFor Foldable
 instance TypeInstancesFor Foldable