Ermine.Pattern.Matrix

Contents

• Pattern Matrix
• Claused

Description

Synopsis

• data PatternMatrix t c a = PatternMatrix {
  • _cols :: [[Pattern t]]
  • _bodies :: [Claused c a]
  }
• class HasPatternMatrix t t c a | t -> t c a where
  • patternMatrix :: Lens' t (PatternMatrix t c a)
  • bodies :: Lens' t [Claused c a]
  • cols :: Lens' t [[Pattern t]]
• defaultOn :: Applicative c => Int -> PatternMatrix t c a -> PatternMatrix t c (Var () (c a))
• splitOn :: Applicative c => Int -> PatternHead -> PatternMatrix t c a -> PatternMatrix t c (Var Word64 (c a))
• data Claused c a
  • = Localized [Scope PatternPath (Scope Word64 c) a] (Guarded (Scope PatternPath (Scope Word64 c) a))
  • | Raw (Guarded (Scope PatternPath c a))
• hoistClaused :: Functor c => (forall x. c x -> d x) -> Claused c a -> Claused d a

Pattern Matrix

Claused