Safe Haskell	Safe
Language	Haskell2010

Language.TL.AST

Description

stripped down tl AST adapted for td_api.tl

Synopsis

type Ann = Maybe Text
type Doc = Map Text Text
class ToTerm a where
- toTerm :: a -> Term
class ToType a where
- toType :: a -> Type
id2t :: Ident -> Text
fid2t :: FullIdent -> Text
combConv :: Doc -> CombinatorDecl -> Combinator
argsConv :: Doc -> Args -> [Arg]
data Combinator = Combinator {
- ident :: Text
- ann :: Maybe Text
- args :: [Arg]
- resType :: Type
}
combArity :: Combinator -> Int
combName :: Combinator -> Text
data ADT = ADT {
- name :: Text
- ann :: Ann
- constructors :: [Combinator]
}
newtype Function = Function Combinator
data Type
- = Type Text
- | TypeApp Type [Type]
- | NatType
data Term
- = Var Text
- | Nat Int
- | App Term [Term]
data Arg = Arg {
- argName :: Text
- ann :: Ann
- argType :: Type
}

Documentation

type Ann = Maybe Text Source #

documentation

type Doc = Map Text Text Source #

class ToTerm a where Source #

Methods

toTerm :: a -> Term Source #

Instances

ToTerm Term Source #
Instance details Defined in Language.TL.AST Methods toTerm :: Term -> Term0 Source #
ToTerm SubExpr Source #
Instance details Defined in Language.TL.AST Methods toTerm :: SubExpr -> Term Source #
ToTerm Expr Source #
Instance details Defined in Language.TL.AST Methods toTerm :: Expr -> Term Source #
ToTerm Ident Source #
Instance details Defined in Language.TL.AST Methods toTerm :: Ident -> Term Source #

class ToType a where Source #

Methods

toType :: a -> Type Source #

Instances

ToType ResultType Source #
Instance details Defined in Language.TL.AST Methods toType :: ResultType -> Type Source #
ToType TypeIdent Source #
Instance details Defined in Language.TL.AST Methods toType :: TypeIdent -> Type Source #
ToType Term Source #
Instance details Defined in Language.TL.AST Methods toType :: Term -> Type Source #
ToType SubExpr Source #
Instance details Defined in Language.TL.AST Methods toType :: SubExpr -> Type Source #
ToType Expr Source #
Instance details Defined in Language.TL.AST Methods toType :: Expr -> Type Source #
ToType Ident Source #
Instance details Defined in Language.TL.AST Methods toType :: Ident -> Type Source #

id2t :: Ident -> Text Source #

fid2t :: FullIdent -> Text Source #

combConv :: Doc -> CombinatorDecl -> Combinator Source #

argsConv :: Doc -> Args -> [Arg] Source #

data Combinator Source #

Constructors

Combinator
Fields ident :: Text ann :: Maybe Text args :: [Arg] resType :: Type

Instances

Eq Combinator Source #
Instance details Defined in Language.TL.AST Methods (==) :: Combinator -> Combinator -> Bool # (/=) :: Combinator -> Combinator -> Bool #
Show Combinator Source #
Instance details Defined in Language.TL.AST Methods showsPrec :: Int -> Combinator -> ShowS # show :: Combinator -> String # showList :: [Combinator] -> ShowS #
Generic Combinator Source #
Instance details Defined in Language.TL.AST Associated Types type Rep Combinator :: Type -> Type # Methods from :: Combinator -> Rep Combinator x # to :: Rep Combinator x -> Combinator #
type Rep Combinator Source #
Instance details Defined in Language.TL.AST type Rep Combinator = D1 (MetaData "Combinator" "Language.TL.AST" "language-tl-0.1.1-CjCXqHgjz8HB0qBNm94O9r" False) (C1 (MetaCons "Combinator" PrefixI True) ((S1 (MetaSel (Just "ident") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text) :: S1 (MetaSel (Just "ann") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe Text))) :: (S1 (MetaSel (Just "args") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Arg]) :*: S1 (MetaSel (Just "resType") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Type))))

combArity :: Combinator -> Int Source #

combName :: Combinator -> Text Source #

data ADT Source #

Constructors

ADT
Fields name :: Text ann :: Ann constructors :: [Combinator]

Instances

Eq ADT Source #
Instance details Defined in Language.TL.AST Methods (==) :: ADT -> ADT -> Bool # (/=) :: ADT -> ADT -> Bool #
Show ADT Source #
Instance details Defined in Language.TL.AST Methods showsPrec :: Int -> ADT -> ShowS # show :: ADT -> String # showList :: [ADT] -> ShowS #
Generic ADT Source #
Instance details Defined in Language.TL.AST Associated Types type Rep ADT :: Type -> Type # Methods from :: ADT -> Rep ADT x # to :: Rep ADT x -> ADT #
type Rep ADT Source #
Instance details Defined in Language.TL.AST type Rep ADT = D1 (MetaData "ADT" "Language.TL.AST" "language-tl-0.1.1-CjCXqHgjz8HB0qBNm94O9r" False) (C1 (MetaCons "ADT" PrefixI True) (S1 (MetaSel (Just "name") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text) :: (S1 (MetaSel (Just "ann") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Ann) :: S1 (MetaSel (Just "constructors") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Combinator]))))

newtype Function Source #

Constructors

Function Combinator

Instances

Eq Function Source #
Instance details Defined in Language.TL.AST Methods (==) :: Function -> Function -> Bool # (/=) :: Function -> Function -> Bool #
Show Function Source #
Instance details Defined in Language.TL.AST Methods showsPrec :: Int -> Function -> ShowS # show :: Function -> String # showList :: [Function] -> ShowS #
Generic Function Source #
Instance details Defined in Language.TL.AST Associated Types type Rep Function :: Type -> Type # Methods from :: Function -> Rep Function x # to :: Rep Function x -> Function #
type Rep Function Source #
Instance details Defined in Language.TL.AST type Rep Function = D1 (MetaData "Function" "Language.TL.AST" "language-tl-0.1.1-CjCXqHgjz8HB0qBNm94O9r" True) (C1 (MetaCons "Function" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 Combinator)))

data Type Source #

Constructors

Type Text
TypeApp Type [Type]
NatType

Instances

Eq Type Source #
Instance details Defined in Language.TL.AST Methods (==) :: Type -> Type -> Bool # (/=) :: Type -> Type -> Bool #
Show Type Source #
Instance details Defined in Language.TL.AST Methods showsPrec :: Int -> Type -> ShowS # show :: Type -> String # showList :: [Type] -> ShowS #
Generic Type Source #
Instance details Defined in Language.TL.AST Associated Types type Rep Type :: Type -> Type # Methods from :: Type -> Rep Type x # to :: Rep Type x -> Type #
type Rep Type Source #
Instance details Defined in Language.TL.AST type Rep Type = D1 (MetaData "Type" "Language.TL.AST" "language-tl-0.1.1-CjCXqHgjz8HB0qBNm94O9r" False) (C1 (MetaCons "Type" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text)) :+: (C1 (MetaCons "TypeApp" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Type) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Type])) :+: C1 (MetaCons "NatType" PrefixI False) (U1 :: Type -> Type)))

data Term Source #

Constructors

Var Text
Nat Int
App Term [Term]

Instances

Eq Term Source #
Instance details Defined in Language.TL.AST Methods (==) :: Term -> Term -> Bool # (/=) :: Term -> Term -> Bool #
Show Term Source #
Instance details Defined in Language.TL.AST Methods showsPrec :: Int -> Term -> ShowS # show :: Term -> String # showList :: [Term] -> ShowS #
Generic Term Source #
Instance details Defined in Language.TL.AST Associated Types type Rep Term :: Type -> Type # Methods from :: Term -> Rep Term x # to :: Rep Term x -> Term #
type Rep Term Source #
Instance details Defined in Language.TL.AST type Rep Term = D1 (MetaData "Term" "Language.TL.AST" "language-tl-0.1.1-CjCXqHgjz8HB0qBNm94O9r" False) (C1 (MetaCons "Var" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text)) :+: (C1 (MetaCons "Nat" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Int)) :+: C1 (MetaCons "App" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Term) :*: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Term]))))

data Arg Source #

Constructors

Arg
Fields argName :: Text ann :: Ann argType :: Type

Instances

Eq Arg Source #
Instance details Defined in Language.TL.AST Methods (==) :: Arg -> Arg -> Bool # (/=) :: Arg -> Arg -> Bool #
Show Arg Source #
Instance details Defined in Language.TL.AST Methods showsPrec :: Int -> Arg -> ShowS # show :: Arg -> String # showList :: [Arg] -> ShowS #
Generic Arg Source #
Instance details Defined in Language.TL.AST Associated Types type Rep Arg :: Type -> Type # Methods from :: Arg -> Rep Arg x # to :: Rep Arg x -> Arg #
type Rep Arg Source #
Instance details Defined in Language.TL.AST type Rep Arg = D1 (MetaData "Arg" "Language.TL.AST" "language-tl-0.1.1-CjCXqHgjz8HB0qBNm94O9r" False) (C1 (MetaCons "Arg" PrefixI True) (S1 (MetaSel (Just "argName") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text) :: (S1 (MetaSel (Just "ann") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Ann) :: S1 (MetaSel (Just "argType") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Type))))