projects
/
coq-hetmet.git
/ blob
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
history
|
raw
|
HEAD
merge proof correction
[coq-hetmet.git]
/
examples
/
GArrowInclusion.hs
1
{-# LANGUAGE FunctionalDependencies, NoMonomorphismRestriction, MultiParamTypeClasses #-}
2
module GArrowInclusion(GArrowInclusion(ga_inc)) where
3
import Control.GArrow
4
5
class GArrow g (**) u => GArrowInclusion g (**) u g' where
6
ga_inc :: g' x y -> g x y