Fluid.Ast

Documentation

data Ast

Constructors

Ast'Ref Ref

Ast'If If

Ast'Iflet Iflet

Ast'Get Get

Ast'Set Set

Ast'Define Define

Ast'Match Match

Ast'Lambda Lambda

Ast'List List

Ast'Tuple Tuple

Ast'Do Do

Ast'FnCall FnCall

Ast'WrapCall WrapCall

Ast'StructCall StructCall

Ast'EnumerationCall EnumerationCall

Ast'HollowCall HollowCall

Ast'Enumeral Enumeral

Ast'Struct Struct

Ast'Wrap Wrap

Ast'Const Const

Instances

Eq Ast

Methods

(==) :: Ast -> Ast -> Bool

(/=) :: Ast -> Ast -> Bool

Show Ast

Methods

showsPrec :: Int -> Ast -> ShowS

show :: Ast -> String

showList :: [Ast] -> ShowS

ToJSON Ast

Methods

toJSON :: Ast -> Value

toEncoding :: Ast -> Encoding

toJSONList :: [Ast] -> Value

toEncodingList :: [Ast] -> Encoding

FromJSON Ast

Methods

parseJSON :: Value -> Parser Ast

parseJSONList :: Value -> Parser [Ast]

class ToAst a where

Minimal complete definition

toAst

Methods

toAst :: a -> Ast

Instances

ToAst Bool

Methods

toAst :: Bool -> Ast

ToAst Double

Methods

toAst :: Double -> Ast

ToAst Int

Methods

toAst :: Int -> Ast

ToAst ()

Methods

toAst :: () -> Ast

ToAst Text

Methods

toAst :: Text -> Ast

ToAst a => ToAst [a]

Methods

toAst :: [a] -> Ast

ToAst a => ToAst (Maybe a)

Methods

toAst :: Maybe a -> Ast

ToAst (Expr a)

Methods

toAst :: Expr a -> Ast

(ToAst a, ToAst b) => ToAst (Either a b)

Methods

toAst :: Either a b -> Ast

(ToAst t1, ToAst t2) => ToAst (t1, t2)

Methods

toAst :: (t1, t2) -> Ast

(ToAst t1, ToAst t2, ToAst t3) => ToAst (t1, t2, t3)

Methods

toAst :: (t1, t2, t3) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4) => ToAst (t1, t2, t3, t4)

Methods

toAst :: (t1, t2, t3, t4) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5) => ToAst (t1, t2, t3, t4, t5)

Methods

toAst :: (t1, t2, t3, t4, t5) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6) => ToAst (t1, t2, t3, t4, t5, t6)

Methods

toAst :: (t1, t2, t3, t4, t5, t6) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7) => ToAst (t1, t2, t3, t4, t5, t6, t7)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8, ToAst t9) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8, t9) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8, ToAst t9, ToAst t10) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8, ToAst t9, ToAst t10, ToAst t11) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8, ToAst t9, ToAst t10, ToAst t11, ToAst t12) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8, ToAst t9, ToAst t10, ToAst t11, ToAst t12, ToAst t13) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8, ToAst t9, ToAst t10, ToAst t11, ToAst t12, ToAst t13, ToAst t14) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8, ToAst t9, ToAst t10, ToAst t11, ToAst t12, ToAst t13, ToAst t14, ToAst t15) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8, ToAst t9, ToAst t10, ToAst t11, ToAst t12, ToAst t13, ToAst t14, ToAst t15, ToAst t16) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8, ToAst t9, ToAst t10, ToAst t11, ToAst t12, ToAst t13, ToAst t14, ToAst t15, ToAst t16, ToAst t17) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8, ToAst t9, ToAst t10, ToAst t11, ToAst t12, ToAst t13, ToAst t14, ToAst t15, ToAst t16, ToAst t17, ToAst t18) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8, ToAst t9, ToAst t10, ToAst t11, ToAst t12, ToAst t13, ToAst t14, ToAst t15, ToAst t16, ToAst t17, ToAst t18, ToAst t19) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8, ToAst t9, ToAst t10, ToAst t11, ToAst t12, ToAst t13, ToAst t14, ToAst t15, ToAst t16, ToAst t17, ToAst t18, ToAst t19, ToAst t20) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8, ToAst t9, ToAst t10, ToAst t11, ToAst t12, ToAst t13, ToAst t14, ToAst t15, ToAst t16, ToAst t17, ToAst t18, ToAst t19, ToAst t20, ToAst t21) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8, ToAst t9, ToAst t10, ToAst t11, ToAst t12, ToAst t13, ToAst t14, ToAst t15, ToAst t16, ToAst t17, ToAst t18, ToAst t19, ToAst t20, ToAst t21, ToAst t22) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8, ToAst t9, ToAst t10, ToAst t11, ToAst t12, ToAst t13, ToAst t14, ToAst t15, ToAst t16, ToAst t17, ToAst t18, ToAst t19, ToAst t20, ToAst t21, ToAst t22, ToAst t23) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8, ToAst t9, ToAst t10, ToAst t11, ToAst t12, ToAst t13, ToAst t14, ToAst t15, ToAst t16, ToAst t17, ToAst t18, ToAst t19, ToAst t20, ToAst t21, ToAst t22, ToAst t23, ToAst t24) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8, ToAst t9, ToAst t10, ToAst t11, ToAst t12, ToAst t13, ToAst t14, ToAst t15, ToAst t16, ToAst t17, ToAst t18, ToAst t19, ToAst t20, ToAst t21, ToAst t22, ToAst t23, ToAst t24, ToAst t25) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8, ToAst t9, ToAst t10, ToAst t11, ToAst t12, ToAst t13, ToAst t14, ToAst t15, ToAst t16, ToAst t17, ToAst t18, ToAst t19, ToAst t20, ToAst t21, ToAst t22, ToAst t23, ToAst t24, ToAst t25, ToAst t26) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8, ToAst t9, ToAst t10, ToAst t11, ToAst t12, ToAst t13, ToAst t14, ToAst t15, ToAst t16, ToAst t17, ToAst t18, ToAst t19, ToAst t20, ToAst t21, ToAst t22, ToAst t23, ToAst t24, ToAst t25, ToAst t26, ToAst t27) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8, ToAst t9, ToAst t10, ToAst t11, ToAst t12, ToAst t13, ToAst t14, ToAst t15, ToAst t16, ToAst t17, ToAst t18, ToAst t19, ToAst t20, ToAst t21, ToAst t22, ToAst t23, ToAst t24, ToAst t25, ToAst t26, ToAst t27, ToAst t28) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8, ToAst t9, ToAst t10, ToAst t11, ToAst t12, ToAst t13, ToAst t14, ToAst t15, ToAst t16, ToAst t17, ToAst t18, ToAst t19, ToAst t20, ToAst t21, ToAst t22, ToAst t23, ToAst t24, ToAst t25, ToAst t26, ToAst t27, ToAst t28, ToAst t29) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8, ToAst t9, ToAst t10, ToAst t11, ToAst t12, ToAst t13, ToAst t14, ToAst t15, ToAst t16, ToAst t17, ToAst t18, ToAst t19, ToAst t20, ToAst t21, ToAst t22, ToAst t23, ToAst t24, ToAst t25, ToAst t26, ToAst t27, ToAst t28, ToAst t29, ToAst t30) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8, ToAst t9, ToAst t10, ToAst t11, ToAst t12, ToAst t13, ToAst t14, ToAst t15, ToAst t16, ToAst t17, ToAst t18, ToAst t19, ToAst t20, ToAst t21, ToAst t22, ToAst t23, ToAst t24, ToAst t25, ToAst t26, ToAst t27, ToAst t28, ToAst t29, ToAst t30, ToAst t31) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31) -> Ast

(ToAst t1, ToAst t2, ToAst t3, ToAst t4, ToAst t5, ToAst t6, ToAst t7, ToAst t8, ToAst t9, ToAst t10, ToAst t11, ToAst t12, ToAst t13, ToAst t14, ToAst t15, ToAst t16, ToAst t17, ToAst t18, ToAst t19, ToAst t20, ToAst t21, ToAst t22, ToAst t23, ToAst t24, ToAst t25, ToAst t26, ToAst t27, ToAst t28, ToAst t29, ToAst t30, ToAst t31, ToAst t32) => ToAst (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32)

Methods

toAst :: (t1, t2, t3, t4, t5, t6, t7, t8, t9, t10, t11, t12, t13, t14, t15, t16, t17, t18, t19, t20, t21, t22, t23, t24, t25, t26, t27, t28, t29, t30, t31, t32) -> Ast

data Ref

Constructors

Ref

Fields

• symbol :: Symbol

Instances

Eq Ref

Methods

(==) :: Ref -> Ref -> Bool

(/=) :: Ref -> Ref -> Bool

Show Ref

Methods

showsPrec :: Int -> Ref -> ShowS

show :: Ref -> String

showList :: [Ref] -> ShowS

ToJSON Ref

Methods

toJSON :: Ref -> Value

toEncoding :: Ref -> Encoding

toJSONList :: [Ref] -> Value

toEncodingList :: [Ref] -> Encoding

FromJSON Ref

Methods

parseJSON :: Value -> Parser Ref

parseJSONList :: Value -> Parser [Ref]

data If

Constructors

If

Fields

• cond :: Ast
• true :: Ast
• false :: Ast

Instances

Eq If

Methods

(==) :: If -> If -> Bool

(/=) :: If -> If -> Bool

Show If

Methods

showsPrec :: Int -> If -> ShowS

show :: If -> String

showList :: [If] -> ShowS

ToJSON If

Methods

toJSON :: If -> Value

toEncoding :: If -> Encoding

toJSONList :: [If] -> Value

toEncodingList :: [If] -> Encoding

FromJSON If

Methods

parseJSON :: Value -> Parser If

parseJSONList :: Value -> Parser [If]

data Iflet

Constructors

Iflet

Fields

• symbol :: Symbol
• option :: Ast
• some :: Ast
• none :: Ast

Instances

Eq Iflet

Methods

(==) :: Iflet -> Iflet -> Bool

(/=) :: Iflet -> Iflet -> Bool

Show Iflet

Methods

showsPrec :: Int -> Iflet -> ShowS

show :: Iflet -> String

showList :: [Iflet] -> ShowS

ToJSON Iflet

Methods

toJSON :: Iflet -> Value

toEncoding :: Iflet -> Encoding

toJSONList :: [Iflet] -> Value

toEncodingList :: [Iflet] -> Encoding

FromJSON Iflet

Methods

parseJSON :: Value -> Parser Iflet

parseJSONList :: Value -> Parser [Iflet]

data Get

Constructors

Get

Fields

• path :: [Text]
• val :: Ast

Instances

Eq Get

Methods

(==) :: Get -> Get -> Bool

(/=) :: Get -> Get -> Bool

Show Get

Methods

showsPrec :: Int -> Get -> ShowS

show :: Get -> String

showList :: [Get] -> ShowS

ToJSON Get

Methods

toJSON :: Get -> Value

toEncoding :: Get -> Encoding

toJSONList :: [Get] -> Value

toEncodingList :: [Get] -> Encoding

FromJSON Get

Methods

parseJSON :: Value -> Parser Get

parseJSONList :: Value -> Parser [Get]

data Set

Constructors

Set

Fields

• path :: [Text]
• src :: Ast
• dest :: Ast

Instances

Eq Set

Methods

(==) :: Set -> Set -> Bool

(/=) :: Set -> Set -> Bool

Show Set

Methods

showsPrec :: Int -> Set -> ShowS

show :: Set -> String

showList :: [Set] -> ShowS

ToJSON Set

Methods

toJSON :: Set -> Value

toEncoding :: Set -> Encoding

toJSONList :: [Set] -> Value

toEncodingList :: [Set] -> Encoding

FromJSON Set

Methods

parseJSON :: Value -> Parser Set

parseJSONList :: Value -> Parser [Set]

data Define

Constructors

Define

Fields

• var :: Symbol
• expr :: Ast

Instances

Eq Define

Methods

(==) :: Define -> Define -> Bool

(/=) :: Define -> Define -> Bool

Show Define

Methods

showsPrec :: Int -> Define -> ShowS

show :: Define -> String

showList :: [Define] -> ShowS

ToJSON Define

Methods

toJSON :: Define -> Value

toEncoding :: Define -> Encoding

toJSONList :: [Define] -> Value

toEncodingList :: [Define] -> Encoding

FromJSON Define

Methods

parseJSON :: Value -> Parser Define

parseJSONList :: Value -> Parser [Define]

data Match

Constructors

Match

Fields

• enumeral :: Ast
• cases :: [MatchCase]

Instances

Eq Match

Methods

(==) :: Match -> Match -> Bool

(/=) :: Match -> Match -> Bool

Show Match

Methods

showsPrec :: Int -> Match -> ShowS

show :: Match -> String

showList :: [Match] -> ShowS

ToJSON Match

Methods

toJSON :: Match -> Value

toEncoding :: Match -> Encoding

toJSONList :: [Match] -> Value

toEncodingList :: [Match] -> Encoding

FromJSON Match

Methods

parseJSON :: Value -> Parser Match

parseJSONList :: Value -> Parser [Match]

data MatchCase

Constructors

MatchCase'Tag EnumeralName Ast

MatchCase'Members EnumeralName Symbol Ast

Instances

Eq MatchCase

Methods

(==) :: MatchCase -> MatchCase -> Bool

(/=) :: MatchCase -> MatchCase -> Bool

Show MatchCase

Methods

showsPrec :: Int -> MatchCase -> ShowS

show :: MatchCase -> String

showList :: [MatchCase] -> ShowS

ToJSON MatchCase

Methods

toJSON :: MatchCase -> Value

toEncoding :: MatchCase -> Encoding

toJSONList :: [MatchCase] -> Value

toEncodingList :: [MatchCase] -> Encoding

FromJSON MatchCase

Methods

parseJSON :: Value -> Parser MatchCase

parseJSONList :: Value -> Parser [MatchCase]

data Lambda

Constructors

Lambda

Fields

• args :: [(Symbol, Type)]
• expr :: Ast

Instances

Eq Lambda

Methods

(==) :: Lambda -> Lambda -> Bool

(/=) :: Lambda -> Lambda -> Bool

Show Lambda

Methods

showsPrec :: Int -> Lambda -> ShowS

show :: Lambda -> String

showList :: [Lambda] -> ShowS

ToJSON Lambda

Methods

toJSON :: Lambda -> Value

toEncoding :: Lambda -> Encoding

toJSONList :: [Lambda] -> Value

toEncodingList :: [Lambda] -> Encoding

FromJSON Lambda

Methods

parseJSON :: Value -> Parser Lambda

parseJSONList :: Value -> Parser [Lambda]

data List

Constructors

List

Fields

• list :: [Ast]

Instances

Eq List

Methods

(==) :: List -> List -> Bool

(/=) :: List -> List -> Bool

Show List

Methods

showsPrec :: Int -> List -> ShowS

show :: List -> String

showList :: [List] -> ShowS

ToJSON List

Methods

toJSON :: List -> Value

toEncoding :: List -> Encoding

toJSONList :: [List] -> Value

toEncodingList :: [List] -> Encoding

FromJSON List

Methods

parseJSON :: Value -> Parser List

parseJSONList :: Value -> Parser [List]

data Tuple

Constructors

Tuple

Fields

• tuple :: [Ast]

Instances

Eq Tuple

Methods

(==) :: Tuple -> Tuple -> Bool

(/=) :: Tuple -> Tuple -> Bool

Show Tuple

Methods

showsPrec :: Int -> Tuple -> ShowS

show :: Tuple -> String

showList :: [Tuple] -> ShowS

ToJSON Tuple

Methods

toJSON :: Tuple -> Value

toEncoding :: Tuple -> Encoding

toJSONList :: [Tuple] -> Value

toEncodingList :: [Tuple] -> Encoding

FromJSON Tuple

Methods

parseJSON :: Value -> Parser Tuple

parseJSONList :: Value -> Parser [Tuple]

data Do

Constructors

Do

Fields

• vals :: [Ast]

Instances

Eq Do

Methods

(==) :: Do -> Do -> Bool

(/=) :: Do -> Do -> Bool

Show Do

Methods

showsPrec :: Int -> Do -> ShowS

show :: Do -> String

showList :: [Do] -> ShowS

ToJSON Do

Methods

toJSON :: Do -> Value

toEncoding :: Do -> Encoding

toJSONList :: [Do] -> Value

toEncodingList :: [Do] -> Encoding

FromJSON Do

Methods

parseJSON :: Value -> Parser Do

parseJSONList :: Value -> Parser [Do]

data FnCall

Constructors

FnCall

Fields

• fn :: Ast
• args :: [Ast]

Instances

Eq FnCall

Methods

(==) :: FnCall -> FnCall -> Bool

(/=) :: FnCall -> FnCall -> Bool

Show FnCall

Methods

showsPrec :: Int -> FnCall -> ShowS

show :: FnCall -> String

showList :: [FnCall] -> ShowS

ToJSON FnCall

Methods

toJSON :: FnCall -> Value

toEncoding :: FnCall -> Encoding

toJSONList :: [FnCall] -> Value

toEncodingList :: [FnCall] -> Encoding

FromJSON FnCall

Methods

parseJSON :: Value -> Parser FnCall

parseJSONList :: Value -> Parser [FnCall]

data Enumeral

Constructors

Enumeral

Fields

• tag :: EnumeralName
• m :: Maybe (Map MemberName Ast)

Instances

Eq Enumeral

Methods

(==) :: Enumeral -> Enumeral -> Bool

(/=) :: Enumeral -> Enumeral -> Bool

Show Enumeral

Methods

showsPrec :: Int -> Enumeral -> ShowS

show :: Enumeral -> String

showList :: [Enumeral] -> ShowS

Generic Enumeral

Associated Types

type Rep Enumeral :: * -> *

Methods

from :: Enumeral -> Rep Enumeral x

to :: Rep Enumeral x -> Enumeral

ToJSON Enumeral

Methods

toJSON :: Enumeral -> Value

toEncoding :: Enumeral -> Encoding

toJSONList :: [Enumeral] -> Value

toEncodingList :: [Enumeral] -> Encoding

FromJSON Enumeral

Methods

parseJSON :: Value -> Parser Enumeral

parseJSONList :: Value -> Parser [Enumeral]

type Rep Enumeral

type Rep Enumeral = D1 * (MetaData "Enumeral" "Fluid.Ast" "fluid-idl-0.0.6-TMVJCB4JNnGXgl1Gc0YAv" False) (C1 * (MetaCons "Enumeral" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "tag") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * EnumeralName)) (S1 * (MetaSel (Just Symbol "m") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Maybe (Map MemberName Ast))))))

data Struct

Constructors

Struct

Fields

• m :: Map MemberName Ast

Instances

Eq Struct

Methods

(==) :: Struct -> Struct -> Bool

(/=) :: Struct -> Struct -> Bool

Show Struct

Methods

showsPrec :: Int -> Struct -> ShowS

show :: Struct -> String

showList :: [Struct] -> ShowS

Generic Struct

Associated Types

type Rep Struct :: * -> *

Methods

from :: Struct -> Rep Struct x

to :: Rep Struct x -> Struct

ToJSON Struct

Methods

toJSON :: Struct -> Value

toEncoding :: Struct -> Encoding

toJSONList :: [Struct] -> Value

toEncodingList :: [Struct] -> Encoding

FromJSON Struct

Methods

parseJSON :: Value -> Parser Struct

parseJSONList :: Value -> Parser [Struct]

type Rep Struct

type Rep Struct = D1 * (MetaData "Struct" "Fluid.Ast" "fluid-idl-0.0.6-TMVJCB4JNnGXgl1Gc0YAv" False) (C1 * (MetaCons "Struct" PrefixI True) (S1 * (MetaSel (Just Symbol "m") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * (Map MemberName Ast))))

data Wrap

Constructors

Wrap

Fields

• w :: Ast

Instances

Eq Wrap

Methods

(==) :: Wrap -> Wrap -> Bool

(/=) :: Wrap -> Wrap -> Bool

Show Wrap

Methods

showsPrec :: Int -> Wrap -> ShowS

show :: Wrap -> String

showList :: [Wrap] -> ShowS

Generic Wrap

Associated Types

type Rep Wrap :: * -> *

Methods

from :: Wrap -> Rep Wrap x

to :: Rep Wrap x -> Wrap

ToJSON Wrap

Methods

toJSON :: Wrap -> Value

toEncoding :: Wrap -> Encoding

toJSONList :: [Wrap] -> Value

toEncodingList :: [Wrap] -> Encoding

type Rep Wrap

type Rep Wrap = D1 * (MetaData "Wrap" "Fluid.Ast" "fluid-idl-0.0.6-TMVJCB4JNnGXgl1Gc0YAv" False) (C1 * (MetaCons "Wrap" PrefixI True) (S1 * (MetaSel (Just Symbol "w") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Ast)))

data StructCall

Constructors

StructCall

Fields

• n :: TypeName
• m :: Ast

Instances

Eq StructCall

Methods

(==) :: StructCall -> StructCall -> Bool

(/=) :: StructCall -> StructCall -> Bool

Show StructCall

Methods

showsPrec :: Int -> StructCall -> ShowS

show :: StructCall -> String

showList :: [StructCall] -> ShowS

Generic StructCall

Associated Types

type Rep StructCall :: * -> *

Methods

from :: StructCall -> Rep StructCall x

to :: Rep StructCall x -> StructCall

ToJSON StructCall

Methods

toJSON :: StructCall -> Value

toEncoding :: StructCall -> Encoding

toJSONList :: [StructCall] -> Value

toEncodingList :: [StructCall] -> Encoding

FromJSON StructCall

Methods

parseJSON :: Value -> Parser StructCall

parseJSONList :: Value -> Parser [StructCall]

type Rep StructCall

type Rep StructCall = D1 * (MetaData "StructCall" "Fluid.Ast" "fluid-idl-0.0.6-TMVJCB4JNnGXgl1Gc0YAv" False) (C1 * (MetaCons "StructCall" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "n") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * TypeName)) (S1 * (MetaSel (Just Symbol "m") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Ast))))

data WrapCall

Constructors

WrapCall

Fields

• n :: TypeName
• w :: Ast

Instances

Eq WrapCall

Methods

(==) :: WrapCall -> WrapCall -> Bool

(/=) :: WrapCall -> WrapCall -> Bool

Show WrapCall

Methods

showsPrec :: Int -> WrapCall -> ShowS

show :: WrapCall -> String

showList :: [WrapCall] -> ShowS

Generic WrapCall

Associated Types

type Rep WrapCall :: * -> *

Methods

from :: WrapCall -> Rep WrapCall x

to :: Rep WrapCall x -> WrapCall

ToJSON WrapCall

Methods

toJSON :: WrapCall -> Value

toEncoding :: WrapCall -> Encoding

toJSONList :: [WrapCall] -> Value

toEncodingList :: [WrapCall] -> Encoding

FromJSON WrapCall

Methods

parseJSON :: Value -> Parser WrapCall

parseJSONList :: Value -> Parser [WrapCall]

type Rep WrapCall

type Rep WrapCall = D1 * (MetaData "WrapCall" "Fluid.Ast" "fluid-idl-0.0.6-TMVJCB4JNnGXgl1Gc0YAv" False) (C1 * (MetaCons "WrapCall" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "n") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * TypeName)) (S1 * (MetaSel (Just Symbol "w") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Ast))))

data EnumerationCall

Constructors

EnumerationCall

Fields

• n :: TypeName
• e :: Ast

Instances

Eq EnumerationCall

Methods

(==) :: EnumerationCall -> EnumerationCall -> Bool

(/=) :: EnumerationCall -> EnumerationCall -> Bool

Show EnumerationCall

Methods

showsPrec :: Int -> EnumerationCall -> ShowS

show :: EnumerationCall -> String

showList :: [EnumerationCall] -> ShowS

Generic EnumerationCall

Associated Types

type Rep EnumerationCall :: * -> *

Methods

from :: EnumerationCall -> Rep EnumerationCall x

to :: Rep EnumerationCall x -> EnumerationCall

ToJSON EnumerationCall

Methods

toJSON :: EnumerationCall -> Value

toEncoding :: EnumerationCall -> Encoding

toJSONList :: [EnumerationCall] -> Value

toEncodingList :: [EnumerationCall] -> Encoding

FromJSON EnumerationCall

Methods

parseJSON :: Value -> Parser EnumerationCall

parseJSONList :: Value -> Parser [EnumerationCall]

type Rep EnumerationCall

type Rep EnumerationCall = D1 * (MetaData "EnumerationCall" "Fluid.Ast" "fluid-idl-0.0.6-TMVJCB4JNnGXgl1Gc0YAv" False) (C1 * (MetaCons "EnumerationCall" PrefixI True) ((:*:) * (S1 * (MetaSel (Just Symbol "n") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * TypeName)) (S1 * (MetaSel (Just Symbol "e") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * Ast))))

data HollowCall

Constructors

HollowCall

Fields

• n :: TypeName

Instances

Eq HollowCall

Methods

(==) :: HollowCall -> HollowCall -> Bool

(/=) :: HollowCall -> HollowCall -> Bool

Show HollowCall

Methods

showsPrec :: Int -> HollowCall -> ShowS

show :: HollowCall -> String

showList :: [HollowCall] -> ShowS

Generic HollowCall

Associated Types

type Rep HollowCall :: * -> *

Methods

from :: HollowCall -> Rep HollowCall x

to :: Rep HollowCall x -> HollowCall

ToJSON HollowCall

Methods

toJSON :: HollowCall -> Value

toEncoding :: HollowCall -> Encoding

toJSONList :: [HollowCall] -> Value

toEncodingList :: [HollowCall] -> Encoding

FromJSON HollowCall

Methods

parseJSON :: Value -> Parser HollowCall

parseJSONList :: Value -> Parser [HollowCall]

type Rep HollowCall

type Rep HollowCall = D1 * (MetaData "HollowCall" "Fluid.Ast" "fluid-idl-0.0.6-TMVJCB4JNnGXgl1Gc0YAv" False) (C1 * (MetaCons "HollowCall" PrefixI True) (S1 * (MetaSel (Just Symbol "n") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 * TypeName)))

data Const

Constructors

Const'Null

Const'Bool Bool

Const'String Text

Const'Number Scientific

Instances

Eq Const

Methods

(==) :: Const -> Const -> Bool

(/=) :: Const -> Const -> Bool

Show Const

Methods

showsPrec :: Int -> Const -> ShowS

show :: Const -> String

showList :: [Const] -> ShowS

ToJSON Const

Methods

toJSON :: Const -> Value

toEncoding :: Const -> Encoding

toJSONList :: [Const] -> Value

toEncodingList :: [Const] -> Encoding

FromJSON Const

Methods

parseJSON :: Value -> Parser Const

parseJSONList :: Value -> Parser [Const]