Safe Haskell	Safe
Language	Haskell2010

Language.TL.Types

Documentation

data Case Source #

Constructors

U
L

Instances

Enum Case Source #
Instance details Defined in Language.TL.Types Methods succ :: Case -> Case # pred :: Case -> Case # toEnum :: Int -> Case # fromEnum :: Case -> Int # enumFrom :: Case -> [Case] # enumFromThen :: Case -> Case -> [Case] # enumFromTo :: Case -> Case -> [Case] # enumFromThenTo :: Case -> Case -> Case -> [Case] #
Eq Case Source #
Instance details Defined in Language.TL.Types Methods (==) :: Case -> Case -> Bool # (/=) :: Case -> Case -> Bool #
Show Case Source #
Instance details Defined in Language.TL.Types Methods showsPrec :: Int -> Case -> ShowS # show :: Case -> String # showList :: [Case] -> ShowS #
Generic Case Source #
Instance details Defined in Language.TL.Types Associated Types type Rep Case :: Type -> Type # Methods from :: Case -> Rep Case x # to :: Rep Case x -> Case #
NFData Case Source #
Instance details Defined in Language.TL.Types Methods rnf :: Case -> () #
type Rep Case Source #
Instance details Defined in Language.TL.Types type Rep Case = D1 (MetaData "Case" "Language.TL.Types" "language-tl-0.1.1-CjCXqHgjz8HB0qBNm94O9r" False) (C1 (MetaCons "U" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "L" PrefixI False) (U1 :: Type -> Type))

data Comment Source #

Constructors

LineComment Text
BlockComment Text

Instances

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

data Optional c Source #

Constructors

Optional c
Omitted

Instances

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

data FullIdent Source #

Constructors

FullName Ident (Maybe Int)

Instances

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

data Ident Source #

Constructors

Qualified
Fields casing :: Case ns :: Text ident :: Text
Unqualified
Fields casing :: Case ident :: Text

Instances

Eq Ident Source #
Instance details Defined in Language.TL.Types Methods (==) :: Ident -> Ident -> Bool # (/=) :: Ident -> Ident -> Bool #
Show Ident Source #
Instance details Defined in Language.TL.Types Methods showsPrec :: Int -> Ident -> ShowS # show :: Ident -> String # showList :: [Ident] -> ShowS #
Generic Ident Source #
Instance details Defined in Language.TL.Types Associated Types type Rep Ident :: Type -> Type # Methods from :: Ident -> Rep Ident x # to :: Rep Ident x -> Ident #
NFData Ident Source #
Instance details Defined in Language.TL.Types Methods rnf :: Ident -> () #
ToType Ident Source #
Instance details Defined in Language.TL.AST Methods toType :: Ident -> Type Source #
ToTerm Ident Source #
Instance details Defined in Language.TL.AST Methods toTerm :: Ident -> Term Source #
type Rep Ident Source #
Instance details Defined in Language.TL.Types type Rep Ident = D1 (MetaData "Ident" "Language.TL.Types" "language-tl-0.1.1-CjCXqHgjz8HB0qBNm94O9r" False) (C1 (MetaCons "Qualified" PrefixI True) (S1 (MetaSel (Just "casing") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Case) :: (S1 (MetaSel (Just "ns") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text) :: S1 (MetaSel (Just "ident") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text))) :+: C1 (MetaCons "Unqualified" PrefixI True) (S1 (MetaSel (Just "casing") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Case) :*: S1 (MetaSel (Just "ident") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Text)))

data DeclBlock Source #

Constructors

FunDeclBlk [AnnDecl]
TypeDeclBlk [AnnDecl]

Instances

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

type Program = [DeclBlock] Source #

data AnnDecl Source #

Constructors

AnnDecl [Comment] Decl

Instances

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

data Decl Source #

Constructors

Combinator CombinatorDecl
PartialApp PartialAppDecl
FinalDecl FinalDecl

Instances

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

newtype Expr Source #

Constructors

Exprs
Fields subexprs :: [SubExpr]

Instances

Eq Expr Source #
Instance details Defined in Language.TL.Types Methods (==) :: Expr -> Expr -> Bool # (/=) :: Expr -> Expr -> Bool #
Show Expr Source #
Instance details Defined in Language.TL.Types Methods showsPrec :: Int -> Expr -> ShowS # show :: Expr -> String # showList :: [Expr] -> ShowS #
Generic Expr Source #
Instance details Defined in Language.TL.Types Associated Types type Rep Expr :: Type -> Type # Methods from :: Expr -> Rep Expr x # to :: Rep Expr x -> Expr #
NFData Expr Source #
Instance details Defined in Language.TL.Types Methods rnf :: Expr -> () #
ToType Expr Source #
Instance details Defined in Language.TL.AST Methods toType :: Expr -> Type Source #
ToTerm Expr Source #
Instance details Defined in Language.TL.AST Methods toTerm :: Expr -> Term Source #
type Rep Expr Source #
Instance details Defined in Language.TL.Types type Rep Expr = D1 (MetaData "Expr" "Language.TL.Types" "language-tl-0.1.1-CjCXqHgjz8HB0qBNm94O9r" True) (C1 (MetaCons "Exprs" PrefixI True) (S1 (MetaSel (Just "subexprs") NoSourceUnpackedness NoSourceStrictness DecidedLazy) (Rec0 [SubExpr])))

data SubExpr Source #

Constructors

Sum (NonEmpty (Either Int Term))

Instances

Eq SubExpr Source #
Instance details Defined in Language.TL.Types Methods (==) :: SubExpr -> SubExpr -> Bool # (/=) :: SubExpr -> SubExpr -> Bool #
Show SubExpr Source #
Instance details Defined in Language.TL.Types Methods showsPrec :: Int -> SubExpr -> ShowS # show :: SubExpr -> String # showList :: [SubExpr] -> ShowS #
Generic SubExpr Source #
Instance details Defined in Language.TL.Types Associated Types type Rep SubExpr :: Type -> Type # Methods from :: SubExpr -> Rep SubExpr x # to :: Rep SubExpr x -> SubExpr #
NFData SubExpr Source #
Instance details Defined in Language.TL.Types Methods rnf :: SubExpr -> () #
ToType SubExpr Source #
Instance details Defined in Language.TL.AST Methods toType :: SubExpr -> Type Source #
ToTerm SubExpr Source #
Instance details Defined in Language.TL.AST Methods toTerm :: SubExpr -> Term Source #
type Rep SubExpr Source #
Instance details Defined in Language.TL.Types type Rep SubExpr = D1 (MetaData "SubExpr" "Language.TL.Types" "language-tl-0.1.1-CjCXqHgjz8HB0qBNm94O9r" False) (C1 (MetaCons "Sum" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (NonEmpty (Either Int Term)))))

data Term Source #

Constructors

Expr Expr
Type TypeIdent
Var Ident
Nat Int
PTerm Term
TypeApp TypeIdent (NonEmpty Expr)

Instances

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

data TypeIdent Source #

Constructors

Boxed BoxedTypeIdent
LcIdent Ident
NatType

Instances

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

type BoxedTypeIdent = Ident Source #

data VarIdent Source #

Constructors

VarIdent Text

Instances

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

type TypeTerm = Term Source #

type NatTerm = Term Source #

data CombinatorDecl Source #

Constructors

CombinatorDecl
Fields combId :: Optional FullIdent optArglist :: [OptArgs] argsList :: [Args] resType :: ResultType
BuiltinDecl
Fields combId :: Optional FullIdent builtinType :: BoxedTypeIdent

Instances

Eq CombinatorDecl Source #
Instance details Defined in Language.TL.Types Methods (==) :: CombinatorDecl -> CombinatorDecl -> Bool # (/=) :: CombinatorDecl -> CombinatorDecl -> Bool #
Show CombinatorDecl Source #
Instance details Defined in Language.TL.Types Methods showsPrec :: Int -> CombinatorDecl -> ShowS # show :: CombinatorDecl -> String # showList :: [CombinatorDecl] -> ShowS #
Generic CombinatorDecl Source #
Instance details Defined in Language.TL.Types Associated Types type Rep CombinatorDecl :: Type -> Type # Methods from :: CombinatorDecl -> Rep CombinatorDecl x # to :: Rep CombinatorDecl x -> CombinatorDecl #
NFData CombinatorDecl Source #
Instance details Defined in Language.TL.Types Methods rnf :: CombinatorDecl -> () #
type Rep CombinatorDecl Source #
Instance details Defined in Language.TL.Types type Rep CombinatorDecl = D1 (MetaData "CombinatorDecl" "Language.TL.Types" "language-tl-0.1.1-CjCXqHgjz8HB0qBNm94O9r" False) (C1 (MetaCons "CombinatorDecl" PrefixI True) ((S1 (MetaSel (Just "combId") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Optional FullIdent)) :: S1 (MetaSel (Just "optArglist") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [OptArgs])) :: (S1 (MetaSel (Just "argsList") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Args]) :: S1 (MetaSel (Just "resType") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 ResultType))) :+: C1 (MetaCons "BuiltinDecl" PrefixI True) (S1 (MetaSel (Just "combId") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Optional FullIdent)) :: S1 (MetaSel (Just "builtinType") NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 BoxedTypeIdent)))

data OptArgs Source #

Constructors

OptArgs (NonEmpty Ident) Bool Expr

Instances

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

data Args Source #

Constructors

Named (Optional Ident) (Maybe ConditionalDef) Bool TypeTerm
MultipleArgs (Maybe (Optional Ident)) (Maybe NatTerm) [Args]
NamedList (NonEmpty (Optional Ident)) Bool TypeTerm
Unnamed Bool TypeTerm

Instances

Eq Args Source #
Instance details Defined in Language.TL.Types Methods (==) :: Args -> Args -> Bool # (/=) :: Args -> Args -> Bool #
Show Args Source #
Instance details Defined in Language.TL.Types Methods showsPrec :: Int -> Args -> ShowS # show :: Args -> String # showList :: [Args] -> ShowS #
Generic Args Source #
Instance details Defined in Language.TL.Types Associated Types type Rep Args :: Type -> Type # Methods from :: Args -> Rep Args x # to :: Rep Args x -> Args #
NFData Args Source #
Instance details Defined in Language.TL.Types Methods rnf :: Args -> () #
type Rep Args Source #
Instance details Defined in Language.TL.Types type Rep Args = D1 (MetaData "Args" "Language.TL.Types" "language-tl-0.1.1-CjCXqHgjz8HB0qBNm94O9r" False) ((C1 (MetaCons "Named" PrefixI False) ((S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Optional Ident)) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe ConditionalDef))) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Bool) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 TypeTerm))) :+: C1 (MetaCons "MultipleArgs" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe (Optional Ident))) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (Maybe NatTerm)) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 [Args])))) :+: (C1 (MetaCons "NamedList" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (NonEmpty (Optional Ident))) :: (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Bool) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 TypeTerm))) :+: C1 (MetaCons "Unnamed" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 Bool) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 TypeTerm))))

data ConditionalDef Source #

Constructors

ConditionalDef Ident (Maybe Int)

Instances

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

data ResultType Source #

Constructors

RTypeApp BoxedTypeIdent [SubExpr]

Instances

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

data PartialAppDecl Source #

Constructors

PartialTypeApp PartialTypeAppDecl
PartialCombApp PartialCombAppDecl

Instances

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

data PartialTypeAppDecl Source #

Constructors

Juxtaposition BoxedTypeIdent (NonEmpty SubExpr)
Explicit BoxedTypeIdent (NonEmpty Expr)

Instances

Eq PartialTypeAppDecl Source #
Instance details Defined in Language.TL.Types Methods (==) :: PartialTypeAppDecl -> PartialTypeAppDecl -> Bool # (/=) :: PartialTypeAppDecl -> PartialTypeAppDecl -> Bool #
Show PartialTypeAppDecl Source #
Instance details Defined in Language.TL.Types Methods showsPrec :: Int -> PartialTypeAppDecl -> ShowS # show :: PartialTypeAppDecl -> String # showList :: [PartialTypeAppDecl] -> ShowS #
Generic PartialTypeAppDecl Source #
Instance details Defined in Language.TL.Types Associated Types type Rep PartialTypeAppDecl :: Type -> Type # Methods from :: PartialTypeAppDecl -> Rep PartialTypeAppDecl x # to :: Rep PartialTypeAppDecl x -> PartialTypeAppDecl #
NFData PartialTypeAppDecl Source #
Instance details Defined in Language.TL.Types Methods rnf :: PartialTypeAppDecl -> () #
type Rep PartialTypeAppDecl Source #
Instance details Defined in Language.TL.Types type Rep PartialTypeAppDecl = D1 (MetaData "PartialTypeAppDecl" "Language.TL.Types" "language-tl-0.1.1-CjCXqHgjz8HB0qBNm94O9r" False) (C1 (MetaCons "Juxtaposition" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 BoxedTypeIdent) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (NonEmpty SubExpr))) :+: C1 (MetaCons "Explicit" PrefixI False) (S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 BoxedTypeIdent) :: S1 (MetaSel (Nothing :: Maybe Symbol) NoSourceUnpackedness NoSourceStrictness DecidedStrict) (Rec0 (NonEmpty Expr))))

data PartialCombAppDecl Source #

Constructors

PartialCombAppDecl (Optional Ident) (NonEmpty SubExpr)

Instances

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

data FinalDecl Source #

Constructors

New BoxedTypeIdent
Final BoxedTypeIdent
Empty BoxedTypeIdent

Instances

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