Language.Elm.Expression

Documentation

data Expression v

Constructors

Var v

Global Qualified

App (Expression v) (Expression v)

Let (Expression v) (Scope () Expression v)

Lam (Scope () Expression v)

Record [(Field, Expression v)]

Proj Field

Case (Expression v) [(Pattern Int, Scope Int Expression v)]

If (Expression v) (Expression v) (Expression v)

List [Expression v]

String !Text

Int !Integer

Float !Double

Instances

Monad Expression

Defined in Language.Elm.Expression

Methods

(>>=) :: Expression a -> (a -> Expression b) -> Expression b

(>>) :: Expression a -> Expression b -> Expression b

return :: a -> Expression a

fail :: String -> Expression a

Functor Expression

Defined in Language.Elm.Expression

Methods

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

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

Applicative Expression

Defined in Language.Elm.Expression

Methods

pure :: a -> Expression a

(<*>) :: Expression (a -> b) -> Expression a -> Expression b

liftA2 :: (a -> b -> c) -> Expression a -> Expression b -> Expression c

(*>) :: Expression a -> Expression b -> Expression b

(<*) :: Expression a -> Expression b -> Expression a

Foldable Expression

Defined in Language.Elm.Expression

Methods

fold :: Monoid m => Expression m -> m

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

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

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

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

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

foldr1 :: (a -> a -> a) -> Expression a -> a

foldl1 :: (a -> a -> a) -> Expression a -> a

toList :: Expression a -> [a]

null :: Expression a -> Bool

length :: Expression a -> Int

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

maximum :: Ord a => Expression a -> a

minimum :: Ord a => Expression a -> a

sum :: Num a => Expression a -> a

product :: Num a => Expression a -> a

Traversable Expression

Defined in Language.Elm.Expression

Methods

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

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

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

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

Eq1 Expression

Defined in Language.Elm.Expression

Methods

liftEq :: (a -> b -> Bool) -> Expression a -> Expression b -> Bool

Ord1 Expression

Defined in Language.Elm.Expression

Methods

liftCompare :: (a -> b -> Ordering) -> Expression a -> Expression b -> Ordering

Show1 Expression

Defined in Language.Elm.Expression

Methods

liftShowsPrec :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> Int -> Expression a -> ShowS

liftShowList :: (Int -> a -> ShowS) -> ([a] -> ShowS) -> [Expression a] -> ShowS

Eq v => Eq (Expression v)

Defined in Language.Elm.Expression

Methods

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

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

Ord v => Ord (Expression v)

Defined in Language.Elm.Expression

Methods

compare :: Expression v -> Expression v -> Ordering

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

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

(>) :: Expression v -> Expression v -> Bool

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

max :: Expression v -> Expression v -> Expression v

min :: Expression v -> Expression v -> Expression v

Show v => Show (Expression v)

Defined in Language.Elm.Expression

Methods

showsPrec :: Int -> Expression v -> ShowS

show :: Expression v -> String

showList :: [Expression v] -> ShowS

IsString (Expression v)

Defined in Language.Elm.Expression

Methods

fromString :: String -> Expression v

apps :: Foldable f => Expression v -> f (Expression v) -> Expression v

appsView :: Expression v -> (Expression v, [Expression v])

(|>) :: Expression v -> Expression v -> Expression v

(<|) :: Expression v -> Expression v -> Expression v

(<<) :: Expression v -> Expression v -> Expression v

(>>) :: Expression v -> Expression v -> Expression v

(++) :: Expression v -> Expression v -> Expression v

tuple :: Expression v -> Expression v -> Expression v

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