ModuleAgda-2.7.0.1Haskell2010
Agda.TypeChecking.Rules.LHS.Implicit
- 4 values
- PackageAgda-2.7.0.1
- Exports4
- LanguageHaskell2010
- LicenceMIT
- SourceImplicit.hs
Insert implicit patterns in a list of patterns. Even if DontExpandLast, trailing SIZELT patterns are inserted.
Insert trailing SizeLt patterns, if any.
Insert implicit patterns in a list of patterns. Even if DontExpandLast, trailing SIZELT patterns are inserted.