Git — Sourcephile - haskell/symantic.git/commit

]> Git — Sourcephile - haskell/symantic.git/commit

sourcephile / git / haskell / symantic.git / commit

author	Julien Moutinho <julm+symantic@autogeree.net>
	Sat, 1 Apr 2017 14:49:13 +0000 (16:49 +0200)
committer	Julien Moutinho <julm+symantic@autogeree.net>
	Sat, 1 Apr 2017 14:49:13 +0000 (16:49 +0200)
commit	85b022cce1e8ad058c9ae38afd0a6b08f2be8be1
tree	82e05ad21f5dc5c2abeae0db27a7c83a8499e812	tree \| snapshot
parent	5fec5e291351199ccb8818420ac0590858fb19ce	commit \| diff

Fix Mono{Foldable,Functor} and {Semi,Is}Sequence constraints.

Cleaner to support the constraints
in the various data types' Proj_TyConC
instead of the constraints'.
For instance, this avoids to require the IO TyConst
when using MonoFunctor.

45 files changed:

symantic-lib/Language/Symantic.hs	[deleted file]	blob \| history
symantic-lib/Language/Symantic/Lib/Alternative.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Applicative.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Bool.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Bounded.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Char.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Either.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Enum.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Eq.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Foldable.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Functor.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/IO.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/If.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Int.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Integer.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Integral.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Lambda.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/List.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Map.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Maybe.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Monad.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/MonoFoldable.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/MonoFunctor.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Monoid.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/NonNull.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Num.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Num/Test.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Ord.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Ratio.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Real.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Semigroup.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Sequences.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Show.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Text.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Traversable.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Tuple2.hs		diff \| blob \| history
symantic-lib/Language/Symantic/Lib/Unit.hs		diff \| blob \| history
symantic-lib/symantic-lib.cabal		diff \| blob \| history
symantic/Language/Symantic/Compiling/Term.hs		diff \| blob \| history
symantic/Language/Symantic/Helper/Data/Type/List.hs		diff \| blob \| history
symantic/Language/Symantic/Parsing/Token.hs		diff \| blob \| history
symantic/Language/Symantic/Typing/Constant.hs		diff \| blob \| history
symantic/Language/Symantic/Typing/Constraint.hs		diff \| blob \| history
symantic/Language/Symantic/Typing/Type.hs		diff \| blob \| history
symantic/symantic.cabal		diff \| blob \| history

Library for Typed Tagless-Final Higher-Order Composable DSL

RSS Atom