annot :: m -> Term m -> Term m Source #

apply :: Term m -> Term m -> Term m Source #

bigfloat :: Double -> Term m Source #

bigint :: Integer -> Term m Source #

binary :: String -> Term m Source #

boolean :: Bool -> Term m Source #

cases :: Name -> [Field m] -> Term m Source #

compareTo :: Term m -> Term m Source #

constFunction :: Term m -> Term m Source #

delta :: Term m Source #

element :: Name -> Term m Source #

elementRef :: Element a -> Term m Source #

elementRefByName :: Name -> Term m Source #

eliminateNominal :: Name -> Term m Source #

elimination :: Elimination m -> Term m Source #

expectBinary :: Show m => Term m -> Flow s String Source #

expectBoolean :: Show m => Term m -> Flow s Bool Source #

expectFloat32 :: Show m => Term m -> Flow s Float Source #

expectFloat64 :: Show m => Term m -> Flow s Double Source #

expectInt32 :: Show m => Term m -> Flow s Int Source #

expectInt64 :: Show m => Term m -> Flow s Integer Source #

expectList :: Show m => (Term m -> Flow s a) -> Term m -> Flow s [a] Source #

expectLiteral :: Show m => (Literal -> Flow s a) -> Term m -> Flow s a Source #

expectMap :: (Ord k, Show m) => (Term m -> Flow s k) -> (Term m -> Flow s v) -> Term m -> Flow s (Map k v) Source #

expectNArgs :: Int -> [Term m] -> Flow s () Source #

expectOptional :: Show m => (Term m -> Flow s a) -> Term m -> Flow s (Maybe a) Source #

expectRecord :: Show m => Term m -> Flow s [Field m] Source #

expectSet :: (Ord a, Show m) => (Term m -> Flow s a) -> Term m -> Flow s (Set a) Source #

expectString :: Show m => Term m -> Flow s String Source #

expectUnion :: Show m => Term m -> Flow s (Field m) Source #

field :: String -> Term m -> Field m Source #

fieldsToMap :: [Field m] -> Map FieldName (Term m) Source #

float32 :: Float -> Term m Source #

float64 :: Double -> Term m Source #

float :: FloatValue -> Term m Source #

fold :: Term m -> Term m Source #

int16 :: Int16 -> Term m Source #

int32 :: Int -> Term m Source #

int64 :: Int64 -> Term m Source #

int8 :: Int8 -> Term m Source #

integer :: IntegerValue -> Term m Source #

isUnit :: Eq m => Term m -> Bool Source #

lambda :: String -> Term m -> Term m Source #

letTerm :: Variable -> Term m -> Term m -> Term m Source #

list :: [Term m] -> Term m Source #

literal :: Literal -> Term m Source #

map :: Map (Term m) (Term m) -> Term m Source #

mapTerm :: Map (Term m) (Term m) -> Term m Source #

match :: Name -> [(FieldName, Term m)] -> Term m Source #

matchOptional :: Term m -> Term m -> Term m Source #

matchWithVariants :: Name -> [(FieldName, FieldName)] -> Term m Source #

nominal :: Name -> Term m -> Term m Source #

optional :: Maybe (Term m) -> Term m Source #

primitive :: Name -> Term m Source #

product :: [Term m] -> Term m Source #

projection :: Name -> FieldName -> Term m Source #

record :: Name -> [Field m] -> Term m Source #

requireField :: Map FieldName (Term m) -> FieldName -> GraphFlow m (Term m) Source #

set :: Set (Term m) -> Term m Source #

stringList :: [String] -> Term m Source #

stringSet :: Ord m => Set String -> Term m Source #

string :: String -> Term m Source #

sum :: Int -> Int -> Term m -> Term m Source #

uint16 :: Integer -> Term m Source #

uint32 :: Integer -> Term m Source #

uint64 :: Integer -> Term m Source #

uint8 :: Integer -> Term m Source #

union :: Name -> Field m -> Term m Source #

unit :: Term m Source #

unitVariant :: Name -> FieldName -> Term m Source #

variable :: String -> Term m Source #

variant :: Name -> FieldName -> Term m -> Term m Source #

withVariant :: Name -> FieldName -> Term m Source #