diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2016-06-06 02:48:33 +0200 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2016-06-06 02:48:33 +0200 |
| commit | 2a15ddf776ba421e1fb1d3bc31eaee8a39fa1917 (patch) | |
| tree | 12d428ff7c0cd2f520b01410ab022d6c065058b5 /src/Sequence | |
| parent | e42a30cd80ddf2202af0c690152b59350a4f1097 (diff) | |
| download | 2017-01-16_17:13:37-2a15ddf776ba421e1fb1d3bc31eaee8a39fa1917.tar 2017-01-16_17:13:37-2a15ddf776ba421e1fb1d3bc31eaee8a39fa1917.tar.gz 2017-01-16_17:13:37-2a15ddf776ba421e1fb1d3bc31eaee8a39fa1917.tar.bz2 2017-01-16_17:13:37-2a15ddf776ba421e1fb1d3bc31eaee8a39fa1917.tar.xz 2017-01-16_17:13:37-2a15ddf776ba421e1fb1d3bc31eaee8a39fa1917.zip | |
No context is admissable
Diffstat (limited to 'src/Sequence')
| -rw-r--r-- | src/Sequence/Formula.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/Sequence/Formula.hs b/src/Sequence/Formula.hs index 9000c58..d486bab 100644 --- a/src/Sequence/Formula.hs +++ b/src/Sequence/Formula.hs | |||
| @@ -46,6 +46,9 @@ instance a :<: (a, b) where | |||
| 46 | instance a :<: (b, a) where | 46 | instance a :<: (b, a) where |
| 47 | ctx' = _2 | 47 | ctx' = _2 |
| 48 | 48 | ||
| 49 | instance () :<: a where | ||
| 50 | ctx' = united | ||
| 51 | |||
| 49 | data Context small = forall large. (small :<: large) => Context large | 52 | data Context small = forall large. (small :<: large) => Context large |
| 50 | 53 | ||
| 51 | ctx :: Traversal' (Context input) input | 54 | ctx :: Traversal' (Context input) input |