Safe Haskell | Safe |
---|---|
Language | Haskell2010 |
Documentation
Instances
Eq Comment Source # | |
Show Comment Source # | |
Generic Comment Source # | |
NFData Comment Source # | |
Defined in Language.TL.Types | |
type Rep Comment Source # | |
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))) |
Instances
Eq c => Eq (Optional c) Source # | |
Show c => Show (Optional c) Source # | |
Generic (Optional c) Source # | |
NFData c => NFData (Optional c) Source # | |
Defined in Language.TL.Types | |
type Rep (Optional c) Source # | |
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)) |
Instances
Eq FullIdent Source # | |
Show FullIdent Source # | |
Generic FullIdent Source # | |
NFData FullIdent Source # | |
Defined in Language.TL.Types | |
type Rep FullIdent Source # | |
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)))) |
Instances
Eq Ident Source # | |
Show Ident Source # | |
Generic Ident Source # | |
NFData Ident Source # | |
Defined in Language.TL.Types | |
ToType Ident Source # | |
ToTerm Ident Source # | |
type Rep Ident Source # | |
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))) |
Instances
Eq DeclBlock Source # | |
Show DeclBlock Source # | |
Generic DeclBlock Source # | |
NFData DeclBlock Source # | |
Defined in Language.TL.Types | |
type Rep DeclBlock Source # | |
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]))) |
Instances
Eq AnnDecl Source # | |
Show AnnDecl Source # | |
Generic AnnDecl Source # | |
NFData AnnDecl Source # | |
Defined in Language.TL.Types | |
type Rep AnnDecl Source # | |
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))) |
Instances
Eq Decl Source # | |
Show Decl Source # | |
Generic Decl Source # | |
NFData Decl Source # | |
Defined in Language.TL.Types | |
type Rep Decl Source # | |
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)))) |
Instances
Instances
Eq TypeIdent Source # | |
Show TypeIdent Source # | |
Generic TypeIdent Source # | |
NFData TypeIdent Source # | |
Defined in Language.TL.Types | |
ToType TypeIdent Source # | |
type Rep TypeIdent Source # | |
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 CombinatorDecl Source #
CombinatorDecl | |
| |
BuiltinDecl | |
Instances
Instances
Eq OptArgs Source # | |
Show OptArgs Source # | |
Generic OptArgs Source # | |
NFData OptArgs Source # | |
Defined in Language.TL.Types | |
type Rep OptArgs Source # | |
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)))) |
Named (Optional Ident) (Maybe ConditionalDef) Bool TypeTerm | |
MultipleArgs (Maybe (Optional Ident)) (Maybe NatTerm) [Args] | |
NamedList (NonEmpty (Optional Ident)) Bool TypeTerm | |
Unnamed Bool TypeTerm |
Instances
data ConditionalDef Source #
Instances
data ResultType Source #
Instances
data PartialAppDecl Source #
Instances
data PartialTypeAppDecl Source #
Instances
data PartialCombAppDecl Source #
Instances
Instances
Eq FinalDecl Source # | |
Show FinalDecl Source # | |
Generic FinalDecl Source # | |
NFData FinalDecl Source # | |
Defined in Language.TL.Types | |
type Rep FinalDecl Source # | |
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)))) |