Language.Elm.Pattern

Documentation

data Pattern v

Constructors

Var v

Wildcard

Con Qualified [Pattern v]

List [Pattern v]

String !Text

Int !Integer

Float !Double

Instances

Functor Pattern

Defined in Language.Elm.Pattern

Methods

fmap :: (a -> b) -> Pattern a -> Pattern b

(<$) :: a -> Pattern b -> Pattern a

Foldable Pattern

Defined in Language.Elm.Pattern

Methods

fold :: Monoid m => Pattern m -> m

foldMap :: Monoid m => (a -> m) -> Pattern a -> m

foldMap' :: Monoid m => (a -> m) -> Pattern a -> m

foldr :: (a -> b -> b) -> b -> Pattern a -> b

foldr' :: (a -> b -> b) -> b -> Pattern a -> b

foldl :: (b -> a -> b) -> b -> Pattern a -> b

foldl' :: (b -> a -> b) -> b -> Pattern a -> b

foldr1 :: (a -> a -> a) -> Pattern a -> a

foldl1 :: (a -> a -> a) -> Pattern a -> a

toList :: Pattern a -> [a]

null :: Pattern a -> Bool

length :: Pattern a -> Int

elem :: Eq a => a -> Pattern a -> Bool

maximum :: Ord a => Pattern a -> a

minimum :: Ord a => Pattern a -> a

sum :: Num a => Pattern a -> a

product :: Num a => Pattern a -> a

Traversable Pattern

Defined in Language.Elm.Pattern

Methods

traverse :: Applicative f => (a -> f b) -> Pattern a -> f (Pattern b)

sequenceA :: Applicative f => Pattern (f a) -> f (Pattern a)

mapM :: Monad m => (a -> m b) -> Pattern a -> m (Pattern b)

sequence :: Monad m => Pattern (m a) -> m (Pattern a)

Eq v => Eq (Pattern v)

Defined in Language.Elm.Pattern

Methods

(==) :: Pattern v -> Pattern v -> Bool

(/=) :: Pattern v -> Pattern v -> Bool

Ord v => Ord (Pattern v)

Defined in Language.Elm.Pattern

Methods

compare :: Pattern v -> Pattern v -> Ordering

(<) :: Pattern v -> Pattern v -> Bool

(<=) :: Pattern v -> Pattern v -> Bool

(>) :: Pattern v -> Pattern v -> Bool

(>=) :: Pattern v -> Pattern v -> Bool

max :: Pattern v -> Pattern v -> Pattern v

min :: Pattern v -> Pattern v -> Pattern v

Show v => Show (Pattern v)

Defined in Language.Elm.Pattern

Methods

showsPrec :: Int -> Pattern v -> ShowS

show :: Pattern v -> String

showList :: [Pattern v] -> ShowS

foldMapGlobals :: Monoid m => (Qualified -> m) -> Pattern v -> m

tuple :: Pattern v -> Pattern v -> Pattern v