Safe Haskell	None
Language	Haskell2010

Language.Elm.Expression

Documentation

data Expression v Source #

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)]
List [Expression v]
String !Text
Int !Integer
Float !Double

Instances

Monad Expression Source #
Instance details 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 Source #
Instance details Defined in Language.Elm.Expression Methods fmap :: (a -> b) -> Expression a -> Expression b # (<$) :: a -> Expression b -> Expression a #
Applicative Expression Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details 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 Source #
Instance details Defined in Language.Elm.Expression Methods liftEq :: (a -> b -> Bool) -> Expression a -> Expression b -> Bool #
Ord1 Expression Source #
Instance details Defined in Language.Elm.Expression Methods liftCompare :: (a -> b -> Ordering) -> Expression a -> Expression b -> Ordering #
Show1 Expression Source #
Instance details 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) Source #
Instance details Defined in Language.Elm.Expression Methods (==) :: Expression v -> Expression v -> Bool # (/=) :: Expression v -> Expression v -> Bool #
Ord v => Ord (Expression v) Source #
Instance details 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) Source #
Instance details Defined in Language.Elm.Expression Methods showsPrec :: Int -> Expression v -> ShowS # show :: Expression v -> String # showList :: [Expression v] -> ShowS #
IsString (Expression v) Source #
Instance details Defined in Language.Elm.Expression Methods fromString :: String -> Expression v #

bind :: forall v v'. (Qualified -> Expression v') -> (v -> Expression v') -> Expression v -> Expression v' Source #

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

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

if_ :: Expression v -> Expression v -> Expression v -> Expression v Source #

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

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

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

(>>) :: Expression v -> Expression v -> Expression v Source #

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

tuple :: Expression v -> Expression v -> Expression v Source #

lets :: Eq b => [(b, Expression v)] -> Scope b Expression v -> Expression v Source #

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