License	Unlicense
Safe Haskell	None
Language	GHC2021

Aihc.Parser.Syntax

Description

Abstract Syntax Tree (AST) covering Haskell2010 plus all language extensions.

Synopsis

data ArithSeq
- = ArithSeqFrom SourceSpan Expr
- | ArithSeqFromThen SourceSpan Expr Expr
- | ArithSeqFromTo SourceSpan Expr Expr
- | ArithSeqFromThenTo SourceSpan Expr Expr Expr
data BangType = BangType {
- bangSpan :: SourceSpan
- bangStrict :: Bool
- bangType :: Type
}
type BinderName = Text
data CallConv
- = CCall
- | StdCall
data CaseAlt = CaseAlt {
- caseAltSpan :: SourceSpan
- caseAltPattern :: Pattern
- caseAltRhs :: Rhs
}
data ClassDecl = ClassDecl {
- classDeclSpan :: SourceSpan
- classDeclContext :: Maybe [Constraint]
- classDeclName :: Text
- classDeclParams :: [TyVarBinder]
- classDeclItems :: [ClassDeclItem]
}
data ClassDeclItem
- = ClassItemTypeSig SourceSpan [BinderName] Type
- | ClassItemFixity SourceSpan FixityAssoc (Maybe Int) [OperatorName]
- | ClassItemDefault SourceSpan ValueDecl
data CompStmt
- = CompGen SourceSpan Pattern Expr
- | CompGuard SourceSpan Expr
- | CompLet SourceSpan [(Text, Expr)]
- | CompLetDecls SourceSpan [Decl]
data Constraint = Constraint {
- constraintSpan :: SourceSpan
- constraintClass :: Text
- constraintArgs :: [Type]
- constraintParen :: Bool
}
data DataConDecl
- = PrefixCon SourceSpan [Text] [Constraint] Text [BangType]
- | InfixCon SourceSpan [Text] [Constraint] BangType Text BangType
- | RecordCon SourceSpan [Text] [Constraint] Text [FieldDecl]
- | GadtCon SourceSpan [TyVarBinder] [Constraint] [Text] GadtBody
data DataDecl = DataDecl {
- dataDeclSpan :: SourceSpan
- dataDeclContext :: [Constraint]
- dataDeclName :: Text
- dataDeclParams :: [TyVarBinder]
- dataDeclConstructors :: [DataConDecl]
- dataDeclDeriving :: [DerivingClause]
}
data Decl
- = DeclValue SourceSpan ValueDecl
- | DeclTypeSig SourceSpan [BinderName] Type
- | DeclStandaloneKindSig SourceSpan BinderName Type
- | DeclFixity SourceSpan FixityAssoc (Maybe Int) [OperatorName]
- | DeclTypeSyn SourceSpan TypeSynDecl
- | DeclData SourceSpan DataDecl
- | DeclNewtype SourceSpan NewtypeDecl
- | DeclClass SourceSpan ClassDecl
- | DeclInstance SourceSpan InstanceDecl
- | DeclStandaloneDeriving SourceSpan StandaloneDerivingDecl
- | DeclDefault SourceSpan [Type]
- | DeclForeign SourceSpan ForeignDecl
data DerivingClause = DerivingClause {
- derivingStrategy :: Maybe DerivingStrategy
- derivingClasses :: [Text]
}
data DerivingStrategy
- = DerivingStock
- | DerivingNewtype
- | DerivingAnyclass
data DoStmt
- = DoBind SourceSpan Pattern Expr
- | DoLet SourceSpan [(Text, Expr)]
- | DoLetDecls SourceSpan [Decl]
- | DoExpr SourceSpan Expr
data Expr
- = EVar SourceSpan Text
- | EInt SourceSpan Integer Text
- | EIntBase SourceSpan Integer Text
- | EFloat SourceSpan Double Text
- | EChar SourceSpan Char Text
- | EString SourceSpan Text Text
- | EQuasiQuote SourceSpan Text Text
- | EIf SourceSpan Expr Expr Expr
- | ELambdaPats SourceSpan [Pattern] Expr
- | ELambdaCase SourceSpan [CaseAlt]
- | EInfix SourceSpan Expr Text Expr
- | ENegate SourceSpan Expr
- | ESectionL SourceSpan Expr Text
- | ESectionR SourceSpan Text Expr
- | ELetDecls SourceSpan [Decl] Expr
- | ECase SourceSpan Expr [CaseAlt]
- | EDo SourceSpan [DoStmt]
- | EListComp SourceSpan Expr [CompStmt]
- | EListCompParallel SourceSpan Expr [[CompStmt]]
- | EArithSeq SourceSpan ArithSeq
- | ERecordCon SourceSpan Text [(Text, Expr)]
- | ERecordUpd SourceSpan Expr [(Text, Expr)]
- | ETypeSig SourceSpan Expr Type
- | EParen SourceSpan Expr
- | EWhereDecls SourceSpan Expr [Decl]
- | EList SourceSpan [Expr]
- | ETuple SourceSpan [Expr]
- | ETupleSection SourceSpan [Maybe Expr]
- | ETupleCon SourceSpan Int
- | ETypeApp SourceSpan Expr Type
- | EApp SourceSpan Expr Expr
data Extension
- = AllowAmbiguousTypes
- | AlternativeLayoutRule
- | AlternativeLayoutRuleTransitional
- | ApplicativeDo
- | Arrows
- | AutoDeriveTypeable
- | BangPatterns
- | BinaryLiterals
- | BlockArguments
- | CApiFFI
- | ConstrainedClassMethods
- | ConstraintKinds
- | CPP
- | CUSKs
- | DataKinds
- | DatatypeContexts
- | DeepSubsumption
- | DefaultSignatures
- | DeriveAnyClass
- | DeriveDataTypeable
- | DeriveFoldable
- | DeriveFunctor
- | DeriveGeneric
- | DeriveLift
- | DeriveTraversable
- | DerivingStrategies
- | DerivingVia
- | DisambiguateRecordFields
- | DoAndIfThenElse
- | DoRec
- | DuplicateRecordFields
- | EmptyCase
- | EmptyDataDecls
- | EmptyDataDeriving
- | ExistentialQuantification
- | ExplicitForAll
- | ExplicitLevelImports
- | ExplicitNamespaces
- | ExtensibleRecords
- | ExtendedDefaultRules
- | ExtendedLiterals
- | FieldSelectors
- | FlexibleContexts
- | FlexibleInstances
- | ForeignFunctionInterface
- | FunctionalDependencies
- | GADTs
- | GADTSyntax
- | Generics
- | GeneralizedNewtypeDeriving
- | GHC2021
- | GHC2024
- | GHCForeignImportPrim
- | Haskell2010
- | Haskell98
- | HereDocuments
- | HexFloatLiterals
- | ImplicitParams
- | ImplicitPrelude
- | ImplicitStagePersistence
- | ImportQualifiedPost
- | ImpredicativeTypes
- | IncoherentInstances
- | InstanceSigs
- | InterruptibleFFI
- | JavaScriptFFI
- | KindSignatures
- | LambdaCase
- | LexicalNegation
- | LiberalTypeSynonyms
- | LinearTypes
- | ListTuplePuns
- | MagicHash
- | MonadComprehensions
- | MonadFailDesugaring
- | MonoLocalBinds
- | MonoPatBinds
- | MonomorphismRestriction
- | MultilineStrings
- | MultiParamTypeClasses
- | MultiWayIf
- | NamedDefaults
- | NamedFieldPuns
- | NamedWildCards
- | NewQualifiedOperators
- | NegativeLiterals
- | NondecreasingIndentation
- | NPlusKPatterns
- | NullaryTypeClasses
- | NumDecimals
- | NumericUnderscores
- | OrPatterns
- | OverlappingInstances
- | OverloadedLabels
- | OverloadedLists
- | OverloadedRecordDot
- | OverloadedRecordUpdate
- | OverloadedStrings
- | PackageImports
- | ParallelArrays
- | ParallelListComp
- | PartialTypeSignatures
- | PatternSignatures
- | PatternGuards
- | PatternSynonyms
- | PolymorphicComponents
- | PolyKinds
- | PostfixOperators
- | QualifiedDo
- | QualifiedStrings
- | QuantifiedConstraints
- | QuasiQuotes
- | Rank2Types
- | RankNTypes
- | RebindableSyntax
- | RecordPuns
- | RecordWildCards
- | RecursiveDo
- | RegularPatterns
- | RelaxedLayout
- | RelaxedPolyRec
- | RestrictedTypeSynonyms
- | RequiredTypeArguments
- | RoleAnnotations
- | SafeImports
- | SafeHaskell
- | ScopedTypeVariables
- | StandaloneDeriving
- | StandaloneKindSignatures
- | StarIsType
- | StaticPointers
- | Strict
- | StrictData
- | TemplateHaskell
- | TemplateHaskellQuotes
- | TraditionalRecordSyntax
- | TransformListComp
- | Trustworthy
- | TupleSections
- | TypeAbstractions
- | TypeApplications
- | TypeData
- | TypeFamilies
- | TypeFamilyDependencies
- | TypeInType
- | TypeOperators
- | TypeSynonymInstances
- | UnboxedSums
- | UnboxedTuples
- | UndecidableInstances
- | UndecidableSuperClasses
- | UnicodeSyntax
- | UnliftedDatatypes
- | UnliftedFFITypes
- | UnliftedNewtypes
- | UnsafeHaskell
- | ViewPatterns
- | XmlSyntax
data ExtensionSetting
- = EnableExtension Extension
- | DisableExtension Extension
data ExportSpec
- = ExportModule SourceSpan Text
- | ExportVar SourceSpan (Maybe Text) Text
- | ExportAbs SourceSpan (Maybe Text) Text
- | ExportAll SourceSpan (Maybe Text) Text
- | ExportWith SourceSpan (Maybe Text) Text [Text]
data FieldDecl = FieldDecl {
- fieldSpan :: SourceSpan
- fieldNames :: [Text]
- fieldType :: BangType
}
data FixityAssoc
- = Infix
- | InfixL
- | InfixR
data ForeignDecl = ForeignDecl {
- foreignDeclSpan :: SourceSpan
- foreignDirection :: ForeignDirection
- foreignCallConv :: CallConv
- foreignSafety :: Maybe ForeignSafety
- foreignEntity :: ForeignEntitySpec
- foreignName :: Text
- foreignType :: Type
}
data ForeignDirection
- = ForeignImport
- | ForeignExport
data ForeignEntitySpec
- = ForeignEntityDynamic
- | ForeignEntityWrapper
- | ForeignEntityStatic (Maybe Text)
- | ForeignEntityAddress (Maybe Text)
- | ForeignEntityNamed Text
- | ForeignEntityOmitted
data ForeignSafety
- = Safe
- | Unsafe
data GadtBody
- = GadtPrefixBody [BangType] Type
- | GadtRecordBody [FieldDecl] Type
data GuardQualifier
- = GuardExpr SourceSpan Expr
- | GuardPat SourceSpan Pattern Expr
- | GuardLet SourceSpan [Decl]
data GuardedRhs = GuardedRhs {
- guardedRhsSpan :: SourceSpan
- guardedRhsGuards :: [GuardQualifier]
- guardedRhsBody :: Expr
}
data ImportDecl = ImportDecl {
- importDeclSpan :: SourceSpan
- importDeclLevel :: Maybe ImportLevel
- importDeclPackage :: Maybe Text
- importDeclQualified :: Bool
- importDeclQualifiedPost :: Bool
- importDeclModule :: Text
- importDeclAs :: Maybe Text
- importDeclSpec :: Maybe ImportSpec
}
data ImportLevel
- = ImportLevelQuote
- | ImportLevelSplice
data ImportItem
- = ImportItemVar SourceSpan (Maybe Text) Text
- | ImportItemAbs SourceSpan (Maybe Text) Text
- | ImportItemAll SourceSpan (Maybe Text) Text
- | ImportItemWith SourceSpan (Maybe Text) Text [Text]
data ImportSpec = ImportSpec {
- importSpecSpan :: SourceSpan
- importSpecHiding :: Bool
- importSpecItems :: [ImportItem]
}
data InstanceDecl = InstanceDecl {
- instanceDeclSpan :: SourceSpan
- instanceDeclContext :: [Constraint]
- instanceDeclClassName :: Text
- instanceDeclTypes :: [Type]
- instanceDeclItems :: [InstanceDeclItem]
}
data InstanceDeclItem
- = InstanceItemBind SourceSpan ValueDecl
- | InstanceItemTypeSig SourceSpan [BinderName] Type
- | InstanceItemFixity SourceSpan FixityAssoc (Maybe Int) [OperatorName]
data Literal
- = LitInt SourceSpan Integer Text
- | LitIntBase SourceSpan Integer Text
- | LitFloat SourceSpan Double Text
- | LitChar SourceSpan Char Text
- | LitString SourceSpan Text Text
data Match = Match {
- matchSpan :: SourceSpan
- matchPats :: [Pattern]
- matchRhs :: Rhs
}
data Module = Module {
- moduleSpan :: SourceSpan
- moduleHead :: Maybe ModuleHead
- moduleLanguagePragmas :: [ExtensionSetting]
- moduleImports :: [ImportDecl]
- moduleDecls :: [Decl]
}
data ModuleHead = ModuleHead {
- moduleHeadSpan :: SourceSpan
- moduleHeadName :: Text
- moduleHeadWarningText :: Maybe WarningText
- moduleHeadExports :: Maybe [ExportSpec]
}
data WarningText
- = DeprText SourceSpan Text
- | WarnText SourceSpan Text
data NewtypeDecl = NewtypeDecl {
- newtypeDeclSpan :: SourceSpan
- newtypeDeclContext :: [Constraint]
- newtypeDeclName :: Text
- newtypeDeclParams :: [TyVarBinder]
- newtypeDeclConstructor :: Maybe DataConDecl
- newtypeDeclDeriving :: [DerivingClause]
}
type OperatorName = Text
data Pattern
- = PVar SourceSpan Text
- | PWildcard SourceSpan
- | PLit SourceSpan Literal
- | PQuasiQuote SourceSpan Text Text
- | PTuple SourceSpan [Pattern]
- | PList SourceSpan [Pattern]
- | PCon SourceSpan Text [Pattern]
- | PInfix SourceSpan Pattern Text Pattern
- | PView SourceSpan Expr Pattern
- | PAs SourceSpan Text Pattern
- | PStrict SourceSpan Pattern
- | PIrrefutable SourceSpan Pattern
- | PNegLit SourceSpan Literal
- | PParen SourceSpan Pattern
- | PRecord SourceSpan Text [(Text, Pattern)]
data Rhs
- = UnguardedRhs SourceSpan Expr
- | GuardedRhss SourceSpan [GuardedRhs]
class HasSourceSpan a where
- getSourceSpan :: a -> SourceSpan
data SourceSpan
- = NoSourceSpan
- | SourceSpan {
  - sourceSpanStartLine :: !Int
  - sourceSpanStartCol :: !Int
  - sourceSpanEndLine :: !Int
  - sourceSpanEndCol :: !Int
  }
data StandaloneDerivingDecl = StandaloneDerivingDecl {
- standaloneDerivingSpan :: SourceSpan
- standaloneDerivingStrategy :: Maybe DerivingStrategy
- standaloneDerivingContext :: [Constraint]
- standaloneDerivingClassName :: Text
- standaloneDerivingTypes :: [Type]
}
data Type
- = TVar SourceSpan Text
- | TCon SourceSpan Text TypePromotion
- | TTypeLit SourceSpan TypeLiteral
- | TStar SourceSpan
- | TQuasiQuote SourceSpan Text Text
- | TForall SourceSpan [Text] Type
- | TApp SourceSpan Type Type
- | TFun SourceSpan Type Type
- | TTuple SourceSpan TypePromotion [Type]
- | TList SourceSpan TypePromotion Type
- | TParen SourceSpan Type
- | TContext SourceSpan [Constraint] Type
data TypeLiteral
- = TypeLitInteger Integer Text
- | TypeLitSymbol Text Text
- | TypeLitChar Char Text
data TypePromotion
- = Unpromoted
- | Promoted
data TyVarBinder = TyVarBinder {
- tyVarBinderSpan :: SourceSpan
- tyVarBinderName :: Text
- tyVarBinderKind :: Maybe Type
}
data TypeSynDecl = TypeSynDecl {
- typeSynSpan :: SourceSpan
- typeSynName :: Text
- typeSynParams :: [TyVarBinder]
- typeSynBody :: Type
}
data ValueDecl
- = FunctionBind SourceSpan BinderName [Match]
- | PatternBind SourceSpan Pattern Rhs
declValueBinderNames :: Decl -> [Text]
allKnownExtensions :: [Extension]
extensionName :: Extension -> Text
extensionSettingName :: ExtensionSetting -> Text
gadtBodyResultType :: GadtBody -> Type
mergeSourceSpans :: SourceSpan -> SourceSpan -> SourceSpan
noSourceSpan :: SourceSpan
parseExtensionName :: Text -> Maybe Extension
parseExtensionSettingName :: Text -> Maybe ExtensionSetting
sourceSpanEnd :: HasSourceSpan a => [a] -> SourceSpan
valueDeclBinderName :: ValueDecl -> Maybe Text
moduleName :: Module -> Maybe Text
moduleWarningText :: Module -> Maybe WarningText
moduleExports :: Module -> Maybe [ExportSpec]

Documentation

data ArithSeq Source #

Constructors

ArithSeqFrom SourceSpan Expr
ArithSeqFromThen SourceSpan Expr Expr
ArithSeqFromTo SourceSpan Expr Expr
ArithSeqFromThenTo SourceSpan Expr Expr Expr

Instances

Instances details

HasSourceSpan ArithSeq Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: ArithSeq -> SourceSpan Source #

NFData ArithSeq Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: ArithSeq -> () #

Data ArithSeq Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ArithSeq -> c ArithSeq #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ArithSeq #

toConstr :: ArithSeq -> Constr #

dataTypeOf :: ArithSeq -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ArithSeq) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ArithSeq) #

gmapT :: (forall b. Data b => b -> b) -> ArithSeq -> ArithSeq #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ArithSeq -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ArithSeq -> r #

gmapQ :: (forall d. Data d => d -> u) -> ArithSeq -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ArithSeq -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ArithSeq -> m ArithSeq #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ArithSeq -> m ArithSeq #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ArithSeq -> m ArithSeq #

Generic ArithSeq Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep ArithSeq

Instance details

Defined in Aihc.Parser.Syntax

Methods

from :: ArithSeq -> Rep ArithSeq x #

to :: Rep ArithSeq x -> ArithSeq #

Show ArithSeq Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> ArithSeq -> ShowS #

show :: ArithSeq -> String #

showList :: [ArithSeq] -> ShowS #

Eq ArithSeq Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: ArithSeq -> ArithSeq -> Bool #

(/=) :: ArithSeq -> ArithSeq -> Bool #

type Rep ArithSeq Source #

Instance details

Defined in Aihc.Parser.Syntax

data BangType Source #

Constructors

BangType
Fields bangSpan :: SourceSpan bangStrict :: Bool bangType :: Type

Instances

Instances details

HasSourceSpan BangType Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: BangType -> SourceSpan Source #

NFData BangType Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: BangType -> () #

Data BangType Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> BangType -> c BangType #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c BangType #

toConstr :: BangType -> Constr #

dataTypeOf :: BangType -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c BangType) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c BangType) #

gmapT :: (forall b. Data b => b -> b) -> BangType -> BangType #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> BangType -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> BangType -> r #

gmapQ :: (forall d. Data d => d -> u) -> BangType -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> BangType -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> BangType -> m BangType #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> BangType -> m BangType #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> BangType -> m BangType #

Generic BangType Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep BangType

Instance details

Defined in Aihc.Parser.Syntax

type Rep BangType = D1 ('MetaData "BangType" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "BangType" 'PrefixI 'True) (S1 ('MetaSel ('Just "bangSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Just "bangStrict") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "bangType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))))

Methods

from :: BangType -> Rep BangType x #

to :: Rep BangType x -> BangType #

Show BangType Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> BangType -> ShowS #

show :: BangType -> String #

showList :: [BangType] -> ShowS #

Eq BangType Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: BangType -> BangType -> Bool #

(/=) :: BangType -> BangType -> Bool #

type Rep BangType Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep BangType = D1 ('MetaData "BangType" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "BangType" 'PrefixI 'True) (S1 ('MetaSel ('Just "bangSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Just "bangStrict") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "bangType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))))

type BinderName = Text Source #

data CallConv Source #

Constructors

CCall
StdCall

Instances

Instances details

NFData CallConv Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: CallConv -> () #

Data CallConv Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CallConv -> c CallConv #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CallConv #

toConstr :: CallConv -> Constr #

dataTypeOf :: CallConv -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CallConv) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CallConv) #

gmapT :: (forall b. Data b => b -> b) -> CallConv -> CallConv #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CallConv -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CallConv -> r #

gmapQ :: (forall d. Data d => d -> u) -> CallConv -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CallConv -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CallConv -> m CallConv #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CallConv -> m CallConv #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CallConv -> m CallConv #

Generic CallConv Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep CallConv
Instance details Defined in Aihc.Parser.Syntax type Rep CallConv = D1 ('MetaData "CallConv" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "CCall" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StdCall" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: CallConv -> Rep CallConv x #

to :: Rep CallConv x -> CallConv #

Show CallConv Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> CallConv -> ShowS #

show :: CallConv -> String #

showList :: [CallConv] -> ShowS #

Eq CallConv Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: CallConv -> CallConv -> Bool #

(/=) :: CallConv -> CallConv -> Bool #

type Rep CallConv Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep CallConv = D1 ('MetaData "CallConv" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "CCall" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StdCall" 'PrefixI 'False) (U1 :: Type -> Type))

data CaseAlt Source #

Constructors

CaseAlt
Fields caseAltSpan :: SourceSpan caseAltPattern :: Pattern caseAltRhs :: Rhs

Instances

Instances details

HasSourceSpan CaseAlt Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: CaseAlt -> SourceSpan Source #

NFData CaseAlt Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: CaseAlt -> () #

Data CaseAlt Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CaseAlt -> c CaseAlt #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CaseAlt #

toConstr :: CaseAlt -> Constr #

dataTypeOf :: CaseAlt -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CaseAlt) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CaseAlt) #

gmapT :: (forall b. Data b => b -> b) -> CaseAlt -> CaseAlt #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CaseAlt -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CaseAlt -> r #

gmapQ :: (forall d. Data d => d -> u) -> CaseAlt -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CaseAlt -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CaseAlt -> m CaseAlt #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CaseAlt -> m CaseAlt #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CaseAlt -> m CaseAlt #

Generic CaseAlt Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep CaseAlt

Instance details

Defined in Aihc.Parser.Syntax

type Rep CaseAlt = D1 ('MetaData "CaseAlt" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "CaseAlt" 'PrefixI 'True) (S1 ('MetaSel ('Just "caseAltSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Just "caseAltPattern") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pattern) :*: S1 ('MetaSel ('Just "caseAltRhs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rhs))))

Methods

from :: CaseAlt -> Rep CaseAlt x #

to :: Rep CaseAlt x -> CaseAlt #

Show CaseAlt Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> CaseAlt -> ShowS #

show :: CaseAlt -> String #

showList :: [CaseAlt] -> ShowS #

Eq CaseAlt Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: CaseAlt -> CaseAlt -> Bool #

(/=) :: CaseAlt -> CaseAlt -> Bool #

type Rep CaseAlt Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep CaseAlt = D1 ('MetaData "CaseAlt" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "CaseAlt" 'PrefixI 'True) (S1 ('MetaSel ('Just "caseAltSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Just "caseAltPattern") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pattern) :*: S1 ('MetaSel ('Just "caseAltRhs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rhs))))

data ClassDecl Source #

Constructors

ClassDecl
Fields classDeclSpan :: SourceSpan classDeclContext :: Maybe [Constraint] classDeclName :: Text classDeclParams :: [TyVarBinder] classDeclItems :: [ClassDeclItem]

Instances

Instances details

HasSourceSpan ClassDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: ClassDecl -> SourceSpan Source #

NFData ClassDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: ClassDecl -> () #

Data ClassDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ClassDecl -> c ClassDecl #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ClassDecl #

toConstr :: ClassDecl -> Constr #

dataTypeOf :: ClassDecl -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ClassDecl) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ClassDecl) #

gmapT :: (forall b. Data b => b -> b) -> ClassDecl -> ClassDecl #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ClassDecl -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ClassDecl -> r #

gmapQ :: (forall d. Data d => d -> u) -> ClassDecl -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ClassDecl -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ClassDecl -> m ClassDecl #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ClassDecl -> m ClassDecl #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ClassDecl -> m ClassDecl #

Generic ClassDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep ClassDecl

Instance details

Defined in Aihc.Parser.Syntax

type Rep ClassDecl = D1 ('MetaData "ClassDecl" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "ClassDecl" 'PrefixI 'True) ((S1 ('MetaSel ('Just "classDeclSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Just "classDeclContext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Constraint]))) :*: (S1 ('MetaSel ('Just "classDeclName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "classDeclParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBinder]) :*: S1 ('MetaSel ('Just "classDeclItems") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ClassDeclItem])))))

Methods

from :: ClassDecl -> Rep ClassDecl x #

to :: Rep ClassDecl x -> ClassDecl #

Show ClassDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> ClassDecl -> ShowS #

show :: ClassDecl -> String #

showList :: [ClassDecl] -> ShowS #

Eq ClassDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: ClassDecl -> ClassDecl -> Bool #

(/=) :: ClassDecl -> ClassDecl -> Bool #

type Rep ClassDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep ClassDecl = D1 ('MetaData "ClassDecl" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "ClassDecl" 'PrefixI 'True) ((S1 ('MetaSel ('Just "classDeclSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Just "classDeclContext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [Constraint]))) :*: (S1 ('MetaSel ('Just "classDeclName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "classDeclParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBinder]) :*: S1 ('MetaSel ('Just "classDeclItems") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ClassDeclItem])))))

data ClassDeclItem Source #

Constructors

ClassItemTypeSig SourceSpan [BinderName] Type
ClassItemFixity SourceSpan FixityAssoc (Maybe Int) [OperatorName]
ClassItemDefault SourceSpan ValueDecl

Instances

Instances details

HasSourceSpan ClassDeclItem Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: ClassDeclItem -> SourceSpan Source #

NFData ClassDeclItem Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: ClassDeclItem -> () #

Data ClassDeclItem Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ClassDeclItem -> c ClassDeclItem #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ClassDeclItem #

toConstr :: ClassDeclItem -> Constr #

dataTypeOf :: ClassDeclItem -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ClassDeclItem) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ClassDeclItem) #

gmapT :: (forall b. Data b => b -> b) -> ClassDeclItem -> ClassDeclItem #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ClassDeclItem -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ClassDeclItem -> r #

gmapQ :: (forall d. Data d => d -> u) -> ClassDeclItem -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ClassDeclItem -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ClassDeclItem -> m ClassDeclItem #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ClassDeclItem -> m ClassDeclItem #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ClassDeclItem -> m ClassDeclItem #

Generic ClassDeclItem Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep ClassDeclItem

Instance details

Defined in Aihc.Parser.Syntax

Methods

from :: ClassDeclItem -> Rep ClassDeclItem x #

to :: Rep ClassDeclItem x -> ClassDeclItem #

Show ClassDeclItem Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> ClassDeclItem -> ShowS #

show :: ClassDeclItem -> String #

showList :: [ClassDeclItem] -> ShowS #

Eq ClassDeclItem Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: ClassDeclItem -> ClassDeclItem -> Bool #

(/=) :: ClassDeclItem -> ClassDeclItem -> Bool #

type Rep ClassDeclItem Source #

Instance details

Defined in Aihc.Parser.Syntax

data CompStmt Source #

Constructors

CompGen SourceSpan Pattern Expr
CompGuard SourceSpan Expr
CompLet SourceSpan [(Text, Expr)]
CompLetDecls SourceSpan [Decl]

Instances

Instances details

HasSourceSpan CompStmt Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: CompStmt -> SourceSpan Source #

NFData CompStmt Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: CompStmt -> () #

Data CompStmt Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> CompStmt -> c CompStmt #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c CompStmt #

toConstr :: CompStmt -> Constr #

dataTypeOf :: CompStmt -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c CompStmt) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c CompStmt) #

gmapT :: (forall b. Data b => b -> b) -> CompStmt -> CompStmt #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> CompStmt -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> CompStmt -> r #

gmapQ :: (forall d. Data d => d -> u) -> CompStmt -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> CompStmt -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> CompStmt -> m CompStmt #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> CompStmt -> m CompStmt #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> CompStmt -> m CompStmt #

Generic CompStmt Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep CompStmt

Instance details

Defined in Aihc.Parser.Syntax

Methods

from :: CompStmt -> Rep CompStmt x #

to :: Rep CompStmt x -> CompStmt #

Show CompStmt Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> CompStmt -> ShowS #

show :: CompStmt -> String #

showList :: [CompStmt] -> ShowS #

Eq CompStmt Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: CompStmt -> CompStmt -> Bool #

(/=) :: CompStmt -> CompStmt -> Bool #

type Rep CompStmt Source #

Instance details

Defined in Aihc.Parser.Syntax

data Constraint Source #

Constructors

Constraint
Fields constraintSpan :: SourceSpan constraintClass :: Text constraintArgs :: [Type] constraintParen :: Bool

Instances

Instances details

HasSourceSpan Constraint Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: Constraint -> SourceSpan Source #

NFData Constraint Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: Constraint -> () #

Data Constraint Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Constraint -> c Constraint #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Constraint #

toConstr :: Constraint -> Constr #

dataTypeOf :: Constraint -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Constraint) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Constraint) #

gmapT :: (forall b. Data b => b -> b) -> Constraint -> Constraint #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Constraint -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Constraint -> r #

gmapQ :: (forall d. Data d => d -> u) -> Constraint -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Constraint -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Constraint -> m Constraint #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Constraint -> m Constraint #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Constraint -> m Constraint #

Generic Constraint Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep Constraint

Instance details

Defined in Aihc.Parser.Syntax

type Rep Constraint = D1 ('MetaData "Constraint" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "Constraint" 'PrefixI 'True) ((S1 ('MetaSel ('Just "constraintSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Just "constraintClass") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "constraintArgs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Type]) :*: S1 ('MetaSel ('Just "constraintParen") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

Methods

from :: Constraint -> Rep Constraint x #

to :: Rep Constraint x -> Constraint #

Show Constraint Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> Constraint -> ShowS #

show :: Constraint -> String #

showList :: [Constraint] -> ShowS #

Eq Constraint Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: Constraint -> Constraint -> Bool #

(/=) :: Constraint -> Constraint -> Bool #

type Rep Constraint Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep Constraint = D1 ('MetaData "Constraint" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "Constraint" 'PrefixI 'True) ((S1 ('MetaSel ('Just "constraintSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Just "constraintClass") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "constraintArgs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Type]) :*: S1 ('MetaSel ('Just "constraintParen") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool))))

data DataConDecl Source #

Constructors

PrefixCon SourceSpan [Text] [Constraint] Text [BangType]
InfixCon SourceSpan [Text] [Constraint] BangType Text BangType
RecordCon SourceSpan [Text] [Constraint] Text [FieldDecl]
GadtCon SourceSpan [TyVarBinder] [Constraint] [Text] GadtBody	GADT-style constructor: `Con :: forall a. Ctx => Type` The list of names supports multiple constructors: `T1, T2 :: Type`

Instances

Instances details

HasSourceSpan DataConDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: DataConDecl -> SourceSpan Source #

NFData DataConDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: DataConDecl -> () #

Data DataConDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DataConDecl -> c DataConDecl #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DataConDecl #

toConstr :: DataConDecl -> Constr #

dataTypeOf :: DataConDecl -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DataConDecl) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DataConDecl) #

gmapT :: (forall b. Data b => b -> b) -> DataConDecl -> DataConDecl #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DataConDecl -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DataConDecl -> r #

gmapQ :: (forall d. Data d => d -> u) -> DataConDecl -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DataConDecl -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DataConDecl -> m DataConDecl #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DataConDecl -> m DataConDecl #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DataConDecl -> m DataConDecl #

Generic DataConDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep DataConDecl

Instance details

Defined in Aihc.Parser.Syntax

Methods

from :: DataConDecl -> Rep DataConDecl x #

to :: Rep DataConDecl x -> DataConDecl #

Show DataConDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> DataConDecl -> ShowS #

show :: DataConDecl -> String #

showList :: [DataConDecl] -> ShowS #

Eq DataConDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: DataConDecl -> DataConDecl -> Bool #

(/=) :: DataConDecl -> DataConDecl -> Bool #

type Rep DataConDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

data DataDecl Source #

Constructors

DataDecl
Fields dataDeclSpan :: SourceSpan dataDeclContext :: [Constraint] dataDeclName :: Text dataDeclParams :: [TyVarBinder] dataDeclConstructors :: [DataConDecl] dataDeclDeriving :: [DerivingClause]

Instances

Instances details

HasSourceSpan DataDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: DataDecl -> SourceSpan Source #

NFData DataDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: DataDecl -> () #

Data DataDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DataDecl -> c DataDecl #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DataDecl #

toConstr :: DataDecl -> Constr #

dataTypeOf :: DataDecl -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DataDecl) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DataDecl) #

gmapT :: (forall b. Data b => b -> b) -> DataDecl -> DataDecl #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DataDecl -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DataDecl -> r #

gmapQ :: (forall d. Data d => d -> u) -> DataDecl -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DataDecl -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DataDecl -> m DataDecl #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DataDecl -> m DataDecl #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DataDecl -> m DataDecl #

Generic DataDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep DataDecl

Instance details

Defined in Aihc.Parser.Syntax

type Rep DataDecl = D1 ('MetaData "DataDecl" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "DataDecl" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dataDeclSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Just "dataDeclContext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Constraint]) :*: S1 ('MetaSel ('Just "dataDeclName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :*: (S1 ('MetaSel ('Just "dataDeclParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBinder]) :*: (S1 ('MetaSel ('Just "dataDeclConstructors") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DataConDecl]) :*: S1 ('MetaSel ('Just "dataDeclDeriving") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DerivingClause])))))

Methods

from :: DataDecl -> Rep DataDecl x #

to :: Rep DataDecl x -> DataDecl #

Show DataDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> DataDecl -> ShowS #

show :: DataDecl -> String #

showList :: [DataDecl] -> ShowS #

Eq DataDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: DataDecl -> DataDecl -> Bool #

(/=) :: DataDecl -> DataDecl -> Bool #

type Rep DataDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep DataDecl = D1 ('MetaData "DataDecl" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "DataDecl" 'PrefixI 'True) ((S1 ('MetaSel ('Just "dataDeclSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Just "dataDeclContext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Constraint]) :*: S1 ('MetaSel ('Just "dataDeclName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :*: (S1 ('MetaSel ('Just "dataDeclParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBinder]) :*: (S1 ('MetaSel ('Just "dataDeclConstructors") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DataConDecl]) :*: S1 ('MetaSel ('Just "dataDeclDeriving") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DerivingClause])))))

data Decl Source #

Instances

Instances details

HasSourceSpan Decl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: Decl -> SourceSpan Source #

NFData Decl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: Decl -> () #

Data Decl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Decl -> c Decl #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Decl #

toConstr :: Decl -> Constr #

dataTypeOf :: Decl -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Decl) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Decl) #

gmapT :: (forall b. Data b => b -> b) -> Decl -> Decl #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Decl -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Decl -> r #

gmapQ :: (forall d. Data d => d -> u) -> Decl -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Decl -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Decl -> m Decl #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Decl -> m Decl #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Decl -> m Decl #

Generic Decl Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep Decl

Instance details

Defined in Aihc.Parser.Syntax

Methods

from :: Decl -> Rep Decl x #

to :: Rep Decl x -> Decl #

Show Decl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> Decl -> ShowS #

show :: Decl -> String #

showList :: [Decl] -> ShowS #

Eq Decl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: Decl -> Decl -> Bool #

(/=) :: Decl -> Decl -> Bool #

type Rep Decl Source #

Instance details

Defined in Aihc.Parser.Syntax

data DerivingClause Source #

Constructors

DerivingClause
Fields derivingStrategy :: Maybe DerivingStrategy derivingClasses :: [Text]

Instances

Instances details

NFData DerivingClause Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: DerivingClause -> () #

Data DerivingClause Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DerivingClause -> c DerivingClause #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DerivingClause #

toConstr :: DerivingClause -> Constr #

dataTypeOf :: DerivingClause -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DerivingClause) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DerivingClause) #

gmapT :: (forall b. Data b => b -> b) -> DerivingClause -> DerivingClause #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DerivingClause -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DerivingClause -> r #

gmapQ :: (forall d. Data d => d -> u) -> DerivingClause -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DerivingClause -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DerivingClause -> m DerivingClause #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DerivingClause -> m DerivingClause #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DerivingClause -> m DerivingClause #

Generic DerivingClause Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep DerivingClause

Instance details

Defined in Aihc.Parser.Syntax

type Rep DerivingClause = D1 ('MetaData "DerivingClause" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "DerivingClause" 'PrefixI 'True) (S1 ('MetaSel ('Just "derivingStrategy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe DerivingStrategy)) :*: S1 ('MetaSel ('Just "derivingClasses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))

Methods

from :: DerivingClause -> Rep DerivingClause x #

to :: Rep DerivingClause x -> DerivingClause #

Show DerivingClause Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> DerivingClause -> ShowS #

show :: DerivingClause -> String #

showList :: [DerivingClause] -> ShowS #

Eq DerivingClause Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: DerivingClause -> DerivingClause -> Bool #

(/=) :: DerivingClause -> DerivingClause -> Bool #

type Rep DerivingClause Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep DerivingClause = D1 ('MetaData "DerivingClause" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "DerivingClause" 'PrefixI 'True) (S1 ('MetaSel ('Just "derivingStrategy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe DerivingStrategy)) :*: S1 ('MetaSel ('Just "derivingClasses") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text])))

data DerivingStrategy Source #

Constructors

DerivingStock
DerivingNewtype
DerivingAnyclass

Instances

Instances details

NFData DerivingStrategy Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: DerivingStrategy -> () #

Data DerivingStrategy Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DerivingStrategy -> c DerivingStrategy #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DerivingStrategy #

toConstr :: DerivingStrategy -> Constr #

dataTypeOf :: DerivingStrategy -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DerivingStrategy) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DerivingStrategy) #

gmapT :: (forall b. Data b => b -> b) -> DerivingStrategy -> DerivingStrategy #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DerivingStrategy -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DerivingStrategy -> r #

gmapQ :: (forall d. Data d => d -> u) -> DerivingStrategy -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DerivingStrategy -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DerivingStrategy -> m DerivingStrategy #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DerivingStrategy -> m DerivingStrategy #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DerivingStrategy -> m DerivingStrategy #

Generic DerivingStrategy Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep DerivingStrategy

Instance details

Defined in Aihc.Parser.Syntax

type Rep DerivingStrategy = D1 ('MetaData "DerivingStrategy" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "DerivingStock" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DerivingNewtype" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DerivingAnyclass" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: DerivingStrategy -> Rep DerivingStrategy x #

to :: Rep DerivingStrategy x -> DerivingStrategy #

Show DerivingStrategy Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> DerivingStrategy -> ShowS #

show :: DerivingStrategy -> String #

showList :: [DerivingStrategy] -> ShowS #

Eq DerivingStrategy Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: DerivingStrategy -> DerivingStrategy -> Bool #

(/=) :: DerivingStrategy -> DerivingStrategy -> Bool #

type Rep DerivingStrategy Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep DerivingStrategy = D1 ('MetaData "DerivingStrategy" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "DerivingStock" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DerivingNewtype" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DerivingAnyclass" 'PrefixI 'False) (U1 :: Type -> Type)))

data DoStmt Source #

Constructors

DoBind SourceSpan Pattern Expr
DoLet SourceSpan [(Text, Expr)]
DoLetDecls SourceSpan [Decl]
DoExpr SourceSpan Expr

Instances

Instances details

HasSourceSpan DoStmt Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: DoStmt -> SourceSpan Source #

NFData DoStmt Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: DoStmt -> () #

Data DoStmt Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> DoStmt -> c DoStmt #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c DoStmt #

toConstr :: DoStmt -> Constr #

dataTypeOf :: DoStmt -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c DoStmt) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c DoStmt) #

gmapT :: (forall b. Data b => b -> b) -> DoStmt -> DoStmt #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> DoStmt -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> DoStmt -> r #

gmapQ :: (forall d. Data d => d -> u) -> DoStmt -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> DoStmt -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> DoStmt -> m DoStmt #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> DoStmt -> m DoStmt #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> DoStmt -> m DoStmt #

Generic DoStmt Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep DoStmt

Instance details

Defined in Aihc.Parser.Syntax

Methods

from :: DoStmt -> Rep DoStmt x #

to :: Rep DoStmt x -> DoStmt #

Show DoStmt Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> DoStmt -> ShowS #

show :: DoStmt -> String #

showList :: [DoStmt] -> ShowS #

Eq DoStmt Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: DoStmt -> DoStmt -> Bool #

(/=) :: DoStmt -> DoStmt -> Bool #

type Rep DoStmt Source #

Instance details

Defined in Aihc.Parser.Syntax

data Expr Source #

Constructors

EVar SourceSpan Text
EInt SourceSpan Integer Text
EIntBase SourceSpan Integer Text
EFloat SourceSpan Double Text
EChar SourceSpan Char Text
EString SourceSpan Text Text
EQuasiQuote SourceSpan Text Text
EIf SourceSpan Expr Expr Expr
ELambdaPats SourceSpan [Pattern] Expr
ELambdaCase SourceSpan [CaseAlt]
EInfix SourceSpan Expr Text Expr
ENegate SourceSpan Expr
ESectionL SourceSpan Expr Text
ESectionR SourceSpan Text Expr
ELetDecls SourceSpan [Decl] Expr
ECase SourceSpan Expr [CaseAlt]
EDo SourceSpan [DoStmt]
EListComp SourceSpan Expr [CompStmt]
EListCompParallel SourceSpan Expr [[CompStmt]]
EArithSeq SourceSpan ArithSeq
ERecordCon SourceSpan Text [(Text, Expr)]
ERecordUpd SourceSpan Expr [(Text, Expr)]
ETypeSig SourceSpan Expr Type
EParen SourceSpan Expr
EWhereDecls SourceSpan Expr [Decl]
EList SourceSpan [Expr]
ETuple SourceSpan [Expr]
ETupleSection SourceSpan [Maybe Expr]
ETupleCon SourceSpan Int
ETypeApp SourceSpan Expr Type
EApp SourceSpan Expr Expr

Instances

Instances details

Shorthand Expr Source #

Instance details

Defined in Aihc.Parser.Shorthand

Methods

shorthand :: Expr -> Doc () Source #

HasSourceSpan Expr Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: Expr -> SourceSpan Source #

NFData Expr Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: Expr -> () #

Data Expr Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Expr -> c Expr #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Expr #

toConstr :: Expr -> Constr #

dataTypeOf :: Expr -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Expr) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Expr) #

gmapT :: (forall b. Data b => b -> b) -> Expr -> Expr #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Expr -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Expr -> r #

gmapQ :: (forall d. Data d => d -> u) -> Expr -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Expr -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Expr -> m Expr #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Expr -> m Expr #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Expr -> m Expr #

Generic Expr Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep Expr

Instance details

Defined in Aihc.Parser.Syntax

Methods

from :: Expr -> Rep Expr x #

to :: Rep Expr x -> Expr #

Show Expr Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> Expr -> ShowS #

show :: Expr -> String #

showList :: [Expr] -> ShowS #

Eq Expr Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: Expr -> Expr -> Bool #

(/=) :: Expr -> Expr -> Bool #

Pretty Expr Source #

Pretty instance for Expr - renders to valid Haskell source code.

Instance details

Defined in Aihc.Parser.Pretty

Methods

pretty :: Expr -> Doc ann Source #

prettyList :: [Expr] -> Doc ann Source #

type Rep Expr Source #

Instance details

Defined in Aihc.Parser.Syntax

data Extension Source #

Constructors

AllowAmbiguousTypes
AlternativeLayoutRule
AlternativeLayoutRuleTransitional
ApplicativeDo
Arrows
AutoDeriveTypeable
BangPatterns
BinaryLiterals
BlockArguments
CApiFFI
ConstrainedClassMethods
ConstraintKinds
CPP
CUSKs
DataKinds
DatatypeContexts
DeepSubsumption
DefaultSignatures
DeriveAnyClass
DeriveDataTypeable
DeriveFoldable
DeriveFunctor
DeriveGeneric
DeriveLift
DeriveTraversable
DerivingStrategies
DerivingVia
DisambiguateRecordFields
DoAndIfThenElse
DoRec
DuplicateRecordFields
EmptyCase
EmptyDataDecls
EmptyDataDeriving
ExistentialQuantification
ExplicitForAll
ExplicitLevelImports
ExplicitNamespaces
ExtensibleRecords
ExtendedDefaultRules
ExtendedLiterals
FieldSelectors
FlexibleContexts
FlexibleInstances
ForeignFunctionInterface
FunctionalDependencies
GADTs
GADTSyntax
Generics
GeneralizedNewtypeDeriving
GHC2021
GHC2024
GHCForeignImportPrim
Haskell2010
Haskell98
HereDocuments
HexFloatLiterals
ImplicitParams
ImplicitPrelude
ImplicitStagePersistence
ImportQualifiedPost
ImpredicativeTypes
IncoherentInstances
InstanceSigs
InterruptibleFFI
JavaScriptFFI
KindSignatures
LambdaCase
LexicalNegation
LiberalTypeSynonyms
LinearTypes
ListTuplePuns
MagicHash
MonadComprehensions
MonadFailDesugaring
MonoLocalBinds
MonoPatBinds
MonomorphismRestriction
MultilineStrings
MultiParamTypeClasses
MultiWayIf
NamedDefaults
NamedFieldPuns
NamedWildCards
NewQualifiedOperators
NegativeLiterals
NondecreasingIndentation
NPlusKPatterns
NullaryTypeClasses
NumDecimals
NumericUnderscores
OrPatterns
OverlappingInstances
OverloadedLabels
OverloadedLists
OverloadedRecordDot
OverloadedRecordUpdate
OverloadedStrings
PackageImports
ParallelArrays
ParallelListComp
PartialTypeSignatures
PatternSignatures
PatternGuards
PatternSynonyms
PolymorphicComponents
PolyKinds
PostfixOperators
QualifiedDo
QualifiedStrings
QuantifiedConstraints
QuasiQuotes
Rank2Types
RankNTypes
RebindableSyntax
RecordPuns
RecordWildCards
RecursiveDo
RegularPatterns
RelaxedLayout
RelaxedPolyRec
RestrictedTypeSynonyms
RequiredTypeArguments
RoleAnnotations
SafeImports
SafeHaskell
ScopedTypeVariables
StandaloneDeriving
StandaloneKindSignatures
StarIsType
StaticPointers
Strict
StrictData
TemplateHaskell
TemplateHaskellQuotes
TraditionalRecordSyntax
TransformListComp
Trustworthy
TupleSections
TypeAbstractions
TypeApplications
TypeData
TypeFamilies
TypeFamilyDependencies
TypeInType
TypeOperators
TypeSynonymInstances
UnboxedSums
UnboxedTuples
UndecidableInstances
UndecidableSuperClasses
UnicodeSyntax
UnliftedDatatypes
UnliftedFFITypes
UnliftedNewtypes
UnsafeHaskell
ViewPatterns
XmlSyntax

Instances

Instances details

NFData Extension Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: Extension -> () #

Bounded Extension Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

minBound :: Extension #

maxBound :: Extension #

Enum Extension Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

succ :: Extension -> Extension #

pred :: Extension -> Extension #

toEnum :: Int -> Extension #

fromEnum :: Extension -> Int #

enumFrom :: Extension -> [Extension] #

enumFromThen :: Extension -> Extension -> [Extension] #

enumFromTo :: Extension -> Extension -> [Extension] #

enumFromThenTo :: Extension -> Extension -> Extension -> [Extension] #

Generic Extension Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep Extension

Instance details

Defined in Aihc.Parser.Syntax

type Rep Extension = D1 ('MetaData "Extension" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (((((((C1 ('MetaCons "AllowAmbiguousTypes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AlternativeLayoutRule" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AlternativeLayoutRuleTransitional" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ApplicativeDo" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Arrows" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AutoDeriveTypeable" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BangPatterns" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BinaryLiterals" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BlockArguments" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "CApiFFI" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConstrainedClassMethods" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ConstraintKinds" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CPP" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CUSKs" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "DataKinds" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DatatypeContexts" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DeepSubsumption" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DefaultSignatures" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DeriveAnyClass" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "DeriveDataTypeable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DeriveFoldable" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DeriveFunctor" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DeriveGeneric" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DeriveLift" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "DeriveTraversable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DerivingStrategies" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DerivingVia" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DisambiguateRecordFields" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DoAndIfThenElse" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "DoRec" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DuplicateRecordFields" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "EmptyCase" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EmptyDataDecls" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EmptyDataDeriving" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ExistentialQuantification" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExplicitForAll" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ExplicitLevelImports" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ExplicitNamespaces" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExtensibleRecords" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "ExtendedDefaultRules" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExtendedLiterals" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FieldSelectors" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FlexibleContexts" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FlexibleInstances" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ForeignFunctionInterface" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FunctionalDependencies" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "GADTs" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GADTSyntax" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Generics" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "GeneralizedNewtypeDeriving" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GHC2021" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "GHC2024" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GHCForeignImportPrim" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Haskell2010" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Haskell98" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HereDocuments" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "HexFloatLiterals" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ImplicitParams" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ImplicitPrelude" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "ImplicitStagePersistence" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ImportQualifiedPost" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ImpredicativeTypes" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IncoherentInstances" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InstanceSigs" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "InterruptibleFFI" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "JavaScriptFFI" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "KindSignatures" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LambdaCase" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LexicalNegation" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "LiberalTypeSynonyms" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LinearTypes" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ListTuplePuns" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MagicHash" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MonadComprehensions" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "MonadFailDesugaring" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MonoLocalBinds" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MonoPatBinds" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MonomorphismRestriction" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MultilineStrings" 'PrefixI 'False) (U1 :: Type -> Type)))))))) :+: ((((((C1 ('MetaCons "MultiParamTypeClasses" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MultiWayIf" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NamedDefaults" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NamedFieldPuns" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "NamedWildCards" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NewQualifiedOperators" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NegativeLiterals" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NondecreasingIndentation" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NPlusKPatterns" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "NullaryTypeClasses" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NumDecimals" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NumericUnderscores" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OrPatterns" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OverlappingInstances" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "OverloadedLabels" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OverloadedLists" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OverloadedRecordDot" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OverloadedRecordUpdate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OverloadedStrings" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "PackageImports" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ParallelArrays" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ParallelListComp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PartialTypeSignatures" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PatternSignatures" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "PatternGuards" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PatternSynonyms" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PolymorphicComponents" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PolyKinds" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PostfixOperators" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "QualifiedDo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "QualifiedStrings" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "QuantifiedConstraints" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "QuasiQuotes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rank2Types" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "RankNTypes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RebindableSyntax" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "RecordPuns" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RecordWildCards" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RecursiveDo" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "RegularPatterns" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RelaxedLayout" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "RelaxedPolyRec" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RestrictedTypeSynonyms" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RequiredTypeArguments" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "RoleAnnotations" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SafeImports" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SafeHaskell" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ScopedTypeVariables" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StandaloneDeriving" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "StandaloneKindSignatures" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StarIsType" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "StaticPointers" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Strict" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StrictData" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "TemplateHaskell" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TemplateHaskellQuotes" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TraditionalRecordSyntax" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TransformListComp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Trustworthy" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "TupleSections" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TypeAbstractions" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TypeApplications" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TypeData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TypeFamilies" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "TypeFamilyDependencies" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TypeInType" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TypeOperators" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TypeSynonymInstances" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnboxedSums" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "UnboxedTuples" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UndecidableInstances" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UndecidableSuperClasses" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UnicodeSyntax" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnliftedDatatypes" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "UnliftedFFITypes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnliftedNewtypes" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UnsafeHaskell" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ViewPatterns" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XmlSyntax" 'PrefixI 'False) (U1 :: Type -> Type)))))))))

Methods

from :: Extension -> Rep Extension x #

to :: Rep Extension x -> Extension #

Read Extension Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

readsPrec :: Int -> ReadS Extension #

readList :: ReadS [Extension] #

readPrec :: ReadPrec Extension #

readListPrec :: ReadPrec [Extension] #

Show Extension Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> Extension -> ShowS #

show :: Extension -> String #

showList :: [Extension] -> ShowS #

Eq Extension Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: Extension -> Extension -> Bool #

(/=) :: Extension -> Extension -> Bool #

Ord Extension Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

compare :: Extension -> Extension -> Ordering #

(<) :: Extension -> Extension -> Bool #

(<=) :: Extension -> Extension -> Bool #

(>) :: Extension -> Extension -> Bool #

(>=) :: Extension -> Extension -> Bool #

max :: Extension -> Extension -> Extension #

min :: Extension -> Extension -> Extension #

type Rep Extension Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep Extension = D1 ('MetaData "Extension" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (((((((C1 ('MetaCons "AllowAmbiguousTypes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AlternativeLayoutRule" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "AlternativeLayoutRuleTransitional" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ApplicativeDo" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "Arrows" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "AutoDeriveTypeable" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "BangPatterns" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "BinaryLiterals" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "BlockArguments" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "CApiFFI" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ConstrainedClassMethods" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ConstraintKinds" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CPP" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "CUSKs" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "DataKinds" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DatatypeContexts" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DeepSubsumption" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DefaultSignatures" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DeriveAnyClass" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "DeriveDataTypeable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DeriveFoldable" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DeriveFunctor" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DeriveGeneric" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DeriveLift" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "DeriveTraversable" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DerivingStrategies" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "DerivingVia" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "DisambiguateRecordFields" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DoAndIfThenElse" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "DoRec" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "DuplicateRecordFields" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "EmptyCase" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "EmptyDataDecls" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EmptyDataDeriving" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ExistentialQuantification" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExplicitForAll" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ExplicitLevelImports" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ExplicitNamespaces" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExtensibleRecords" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "ExtendedDefaultRules" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ExtendedLiterals" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "FieldSelectors" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "FlexibleContexts" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FlexibleInstances" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "ForeignFunctionInterface" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "FunctionalDependencies" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "GADTs" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GADTSyntax" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Generics" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "GeneralizedNewtypeDeriving" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "GHC2021" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "GHC2024" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "GHCForeignImportPrim" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Haskell2010" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "Haskell98" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "HereDocuments" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "HexFloatLiterals" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ImplicitParams" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ImplicitPrelude" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "ImplicitStagePersistence" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ImportQualifiedPost" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ImpredicativeTypes" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "IncoherentInstances" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InstanceSigs" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "InterruptibleFFI" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "JavaScriptFFI" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "KindSignatures" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "LambdaCase" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LexicalNegation" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "LiberalTypeSynonyms" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "LinearTypes" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ListTuplePuns" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MagicHash" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MonadComprehensions" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "MonadFailDesugaring" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MonoLocalBinds" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "MonoPatBinds" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "MonomorphismRestriction" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MultilineStrings" 'PrefixI 'False) (U1 :: Type -> Type)))))))) :+: ((((((C1 ('MetaCons "MultiParamTypeClasses" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "MultiWayIf" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NamedDefaults" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NamedFieldPuns" 'PrefixI 'False) (U1 :: Type -> Type))) :+: ((C1 ('MetaCons "NamedWildCards" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NewQualifiedOperators" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NegativeLiterals" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "NondecreasingIndentation" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NPlusKPatterns" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "NullaryTypeClasses" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "NumDecimals" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "NumericUnderscores" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OrPatterns" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OverlappingInstances" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "OverloadedLabels" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OverloadedLists" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "OverloadedRecordDot" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "OverloadedRecordUpdate" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "OverloadedStrings" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "PackageImports" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ParallelArrays" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "ParallelListComp" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PartialTypeSignatures" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PatternSignatures" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "PatternGuards" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PatternSynonyms" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "PolymorphicComponents" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "PolyKinds" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "PostfixOperators" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "QualifiedDo" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "QualifiedStrings" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "QuantifiedConstraints" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "QuasiQuotes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Rank2Types" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "RankNTypes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RebindableSyntax" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "RecordPuns" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RecordWildCards" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RecursiveDo" 'PrefixI 'False) (U1 :: Type -> Type))))))) :+: (((((C1 ('MetaCons "RegularPatterns" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RelaxedLayout" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "RelaxedPolyRec" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "RestrictedTypeSynonyms" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "RequiredTypeArguments" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "RoleAnnotations" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SafeImports" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "SafeHaskell" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ScopedTypeVariables" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StandaloneDeriving" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "StandaloneKindSignatures" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StarIsType" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "StaticPointers" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Strict" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "StrictData" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "TemplateHaskell" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TemplateHaskellQuotes" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TraditionalRecordSyntax" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TransformListComp" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Trustworthy" 'PrefixI 'False) (U1 :: Type -> Type)))))) :+: ((((C1 ('MetaCons "TupleSections" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TypeAbstractions" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TypeApplications" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TypeData" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TypeFamilies" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "TypeFamilyDependencies" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "TypeInType" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "TypeOperators" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "TypeSynonymInstances" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnboxedSums" 'PrefixI 'False) (U1 :: Type -> Type))))) :+: (((C1 ('MetaCons "UnboxedTuples" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UndecidableInstances" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UndecidableSuperClasses" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "UnicodeSyntax" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnliftedDatatypes" 'PrefixI 'False) (U1 :: Type -> Type)))) :+: ((C1 ('MetaCons "UnliftedFFITypes" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "UnliftedNewtypes" 'PrefixI 'False) (U1 :: Type -> Type)) :+: (C1 ('MetaCons "UnsafeHaskell" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ViewPatterns" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "XmlSyntax" 'PrefixI 'False) (U1 :: Type -> Type)))))))))

data ExtensionSetting Source #

Constructors

EnableExtension Extension
DisableExtension Extension

Instances

Instances details

NFData ExtensionSetting Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: ExtensionSetting -> () #

Generic ExtensionSetting Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep ExtensionSetting

Instance details

Defined in Aihc.Parser.Syntax

type Rep ExtensionSetting = D1 ('MetaData "ExtensionSetting" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "EnableExtension" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Extension)) :+: C1 ('MetaCons "DisableExtension" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Extension)))

Methods

from :: ExtensionSetting -> Rep ExtensionSetting x #

to :: Rep ExtensionSetting x -> ExtensionSetting #

Read ExtensionSetting Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

readsPrec :: Int -> ReadS ExtensionSetting #

readList :: ReadS [ExtensionSetting] #

readPrec :: ReadPrec ExtensionSetting #

readListPrec :: ReadPrec [ExtensionSetting] #

Show ExtensionSetting Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> ExtensionSetting -> ShowS #

show :: ExtensionSetting -> String #

showList :: [ExtensionSetting] -> ShowS #

Eq ExtensionSetting Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: ExtensionSetting -> ExtensionSetting -> Bool #

(/=) :: ExtensionSetting -> ExtensionSetting -> Bool #

Ord ExtensionSetting Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

compare :: ExtensionSetting -> ExtensionSetting -> Ordering #

(<) :: ExtensionSetting -> ExtensionSetting -> Bool #

(<=) :: ExtensionSetting -> ExtensionSetting -> Bool #

(>) :: ExtensionSetting -> ExtensionSetting -> Bool #

(>=) :: ExtensionSetting -> ExtensionSetting -> Bool #

max :: ExtensionSetting -> ExtensionSetting -> ExtensionSetting #

min :: ExtensionSetting -> ExtensionSetting -> ExtensionSetting #

type Rep ExtensionSetting Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep ExtensionSetting = D1 ('MetaData "ExtensionSetting" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "EnableExtension" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Extension)) :+: C1 ('MetaCons "DisableExtension" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Extension)))

data ExportSpec Source #

Constructors

ExportModule SourceSpan Text
ExportVar SourceSpan (Maybe Text) Text
ExportAbs SourceSpan (Maybe Text) Text
ExportAll SourceSpan (Maybe Text) Text
ExportWith SourceSpan (Maybe Text) Text [Text]

Instances

Instances details

NFData ExportSpec Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: ExportSpec -> () #

Generic ExportSpec Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep ExportSpec

Instance details

Defined in Aihc.Parser.Syntax

Methods

from :: ExportSpec -> Rep ExportSpec x #

to :: Rep ExportSpec x -> ExportSpec #

Show ExportSpec Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> ExportSpec -> ShowS #

show :: ExportSpec -> String #

showList :: [ExportSpec] -> ShowS #

Eq ExportSpec Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: ExportSpec -> ExportSpec -> Bool #

(/=) :: ExportSpec -> ExportSpec -> Bool #

type Rep ExportSpec Source #

Instance details

Defined in Aihc.Parser.Syntax

data FieldDecl Source #

Constructors

FieldDecl
Fields fieldSpan :: SourceSpan fieldNames :: [Text] fieldType :: BangType

Instances

Instances details

HasSourceSpan FieldDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: FieldDecl -> SourceSpan Source #

NFData FieldDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: FieldDecl -> () #

Data FieldDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FieldDecl -> c FieldDecl #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FieldDecl #

toConstr :: FieldDecl -> Constr #

dataTypeOf :: FieldDecl -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FieldDecl) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FieldDecl) #

gmapT :: (forall b. Data b => b -> b) -> FieldDecl -> FieldDecl #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FieldDecl -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FieldDecl -> r #

gmapQ :: (forall d. Data d => d -> u) -> FieldDecl -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> FieldDecl -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FieldDecl -> m FieldDecl #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldDecl -> m FieldDecl #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FieldDecl -> m FieldDecl #

Generic FieldDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep FieldDecl

Instance details

Defined in Aihc.Parser.Syntax

type Rep FieldDecl = D1 ('MetaData "FieldDecl" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "FieldDecl" 'PrefixI 'True) (S1 ('MetaSel ('Just "fieldSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Just "fieldNames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text]) :*: S1 ('MetaSel ('Just "fieldType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BangType))))

Methods

from :: FieldDecl -> Rep FieldDecl x #

to :: Rep FieldDecl x -> FieldDecl #

Show FieldDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> FieldDecl -> ShowS #

show :: FieldDecl -> String #

showList :: [FieldDecl] -> ShowS #

Eq FieldDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: FieldDecl -> FieldDecl -> Bool #

(/=) :: FieldDecl -> FieldDecl -> Bool #

type Rep FieldDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep FieldDecl = D1 ('MetaData "FieldDecl" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "FieldDecl" 'PrefixI 'True) (S1 ('MetaSel ('Just "fieldSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Just "fieldNames") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Text]) :*: S1 ('MetaSel ('Just "fieldType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BangType))))

data FixityAssoc Source #

Constructors

Infix
InfixL
InfixR

Instances

Instances details

NFData FixityAssoc Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: FixityAssoc -> () #

Data FixityAssoc Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> FixityAssoc -> c FixityAssoc #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c FixityAssoc #

toConstr :: FixityAssoc -> Constr #

dataTypeOf :: FixityAssoc -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c FixityAssoc) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c FixityAssoc) #

gmapT :: (forall b. Data b => b -> b) -> FixityAssoc -> FixityAssoc #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> FixityAssoc -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> FixityAssoc -> r #

gmapQ :: (forall d. Data d => d -> u) -> FixityAssoc -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> FixityAssoc -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> FixityAssoc -> m FixityAssoc #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> FixityAssoc -> m FixityAssoc #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> FixityAssoc -> m FixityAssoc #

Generic FixityAssoc Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep FixityAssoc
Instance details Defined in Aihc.Parser.Syntax type Rep FixityAssoc = D1 ('MetaData "FixityAssoc" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "Infix" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "InfixL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InfixR" 'PrefixI 'False) (U1 :: Type -> Type)))

Methods

from :: FixityAssoc -> Rep FixityAssoc x #

to :: Rep FixityAssoc x -> FixityAssoc #

Show FixityAssoc Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> FixityAssoc -> ShowS #

show :: FixityAssoc -> String #

showList :: [FixityAssoc] -> ShowS #

Eq FixityAssoc Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: FixityAssoc -> FixityAssoc -> Bool #

(/=) :: FixityAssoc -> FixityAssoc -> Bool #

type Rep FixityAssoc Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep FixityAssoc = D1 ('MetaData "FixityAssoc" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "Infix" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "InfixL" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "InfixR" 'PrefixI 'False) (U1 :: Type -> Type)))

data ForeignDecl Source #

Constructors

ForeignDecl
Fields foreignDeclSpan :: SourceSpan foreignDirection :: ForeignDirection foreignCallConv :: CallConv foreignSafety :: Maybe ForeignSafety foreignEntity :: ForeignEntitySpec foreignName :: Text foreignType :: Type

Instances

Instances details

HasSourceSpan ForeignDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: ForeignDecl -> SourceSpan Source #

NFData ForeignDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: ForeignDecl -> () #

Data ForeignDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ForeignDecl -> c ForeignDecl #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ForeignDecl #

toConstr :: ForeignDecl -> Constr #

dataTypeOf :: ForeignDecl -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ForeignDecl) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ForeignDecl) #

gmapT :: (forall b. Data b => b -> b) -> ForeignDecl -> ForeignDecl #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ForeignDecl -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ForeignDecl -> r #

gmapQ :: (forall d. Data d => d -> u) -> ForeignDecl -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ForeignDecl -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ForeignDecl -> m ForeignDecl #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignDecl -> m ForeignDecl #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignDecl -> m ForeignDecl #

Generic ForeignDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep ForeignDecl

Instance details

Defined in Aihc.Parser.Syntax

type Rep ForeignDecl = D1 ('MetaData "ForeignDecl" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "ForeignDecl" 'PrefixI 'True) ((S1 ('MetaSel ('Just "foreignDeclSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Just "foreignDirection") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ForeignDirection) :*: S1 ('MetaSel ('Just "foreignCallConv") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CallConv))) :*: ((S1 ('MetaSel ('Just "foreignSafety") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ForeignSafety)) :*: S1 ('MetaSel ('Just "foreignEntity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ForeignEntitySpec)) :*: (S1 ('MetaSel ('Just "foreignName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "foreignType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))))

Methods

from :: ForeignDecl -> Rep ForeignDecl x #

to :: Rep ForeignDecl x -> ForeignDecl #

Show ForeignDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> ForeignDecl -> ShowS #

show :: ForeignDecl -> String #

showList :: [ForeignDecl] -> ShowS #

Eq ForeignDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: ForeignDecl -> ForeignDecl -> Bool #

(/=) :: ForeignDecl -> ForeignDecl -> Bool #

type Rep ForeignDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep ForeignDecl = D1 ('MetaData "ForeignDecl" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "ForeignDecl" 'PrefixI 'True) ((S1 ('MetaSel ('Just "foreignDeclSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Just "foreignDirection") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ForeignDirection) :*: S1 ('MetaSel ('Just "foreignCallConv") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CallConv))) :*: ((S1 ('MetaSel ('Just "foreignSafety") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ForeignSafety)) :*: S1 ('MetaSel ('Just "foreignEntity") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 ForeignEntitySpec)) :*: (S1 ('MetaSel ('Just "foreignName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "foreignType") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))))

data ForeignDirection Source #

Constructors

ForeignImport
ForeignExport

Instances

Instances details

NFData ForeignDirection Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: ForeignDirection -> () #

Data ForeignDirection Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ForeignDirection -> c ForeignDirection #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ForeignDirection #

toConstr :: ForeignDirection -> Constr #

dataTypeOf :: ForeignDirection -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ForeignDirection) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ForeignDirection) #

gmapT :: (forall b. Data b => b -> b) -> ForeignDirection -> ForeignDirection #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ForeignDirection -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ForeignDirection -> r #

gmapQ :: (forall d. Data d => d -> u) -> ForeignDirection -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ForeignDirection -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ForeignDirection -> m ForeignDirection #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignDirection -> m ForeignDirection #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignDirection -> m ForeignDirection #

Generic ForeignDirection Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep ForeignDirection
Instance details Defined in Aihc.Parser.Syntax type Rep ForeignDirection = D1 ('MetaData "ForeignDirection" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "ForeignImport" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ForeignExport" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: ForeignDirection -> Rep ForeignDirection x #

to :: Rep ForeignDirection x -> ForeignDirection #

Show ForeignDirection Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> ForeignDirection -> ShowS #

show :: ForeignDirection -> String #

showList :: [ForeignDirection] -> ShowS #

Eq ForeignDirection Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: ForeignDirection -> ForeignDirection -> Bool #

(/=) :: ForeignDirection -> ForeignDirection -> Bool #

type Rep ForeignDirection Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep ForeignDirection = D1 ('MetaData "ForeignDirection" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "ForeignImport" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ForeignExport" 'PrefixI 'False) (U1 :: Type -> Type))

data ForeignEntitySpec Source #

Constructors

ForeignEntityDynamic
ForeignEntityWrapper
ForeignEntityStatic (Maybe Text)
ForeignEntityAddress (Maybe Text)
ForeignEntityNamed Text
ForeignEntityOmitted

Instances

Instances details

NFData ForeignEntitySpec Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: ForeignEntitySpec -> () #

Data ForeignEntitySpec Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ForeignEntitySpec -> c ForeignEntitySpec #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ForeignEntitySpec #

toConstr :: ForeignEntitySpec -> Constr #

dataTypeOf :: ForeignEntitySpec -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ForeignEntitySpec) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ForeignEntitySpec) #

gmapT :: (forall b. Data b => b -> b) -> ForeignEntitySpec -> ForeignEntitySpec #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ForeignEntitySpec -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ForeignEntitySpec -> r #

gmapQ :: (forall d. Data d => d -> u) -> ForeignEntitySpec -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ForeignEntitySpec -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ForeignEntitySpec -> m ForeignEntitySpec #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignEntitySpec -> m ForeignEntitySpec #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignEntitySpec -> m ForeignEntitySpec #

Generic ForeignEntitySpec Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep ForeignEntitySpec

Instance details

Defined in Aihc.Parser.Syntax

type Rep ForeignEntitySpec = D1 ('MetaData "ForeignEntitySpec" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) ((C1 ('MetaCons "ForeignEntityDynamic" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ForeignEntityWrapper" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ForeignEntityStatic" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))) :+: (C1 ('MetaCons "ForeignEntityAddress" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))) :+: (C1 ('MetaCons "ForeignEntityNamed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "ForeignEntityOmitted" 'PrefixI 'False) (U1 :: Type -> Type))))

Methods

from :: ForeignEntitySpec -> Rep ForeignEntitySpec x #

to :: Rep ForeignEntitySpec x -> ForeignEntitySpec #

Show ForeignEntitySpec Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> ForeignEntitySpec -> ShowS #

show :: ForeignEntitySpec -> String #

showList :: [ForeignEntitySpec] -> ShowS #

Eq ForeignEntitySpec Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: ForeignEntitySpec -> ForeignEntitySpec -> Bool #

(/=) :: ForeignEntitySpec -> ForeignEntitySpec -> Bool #

type Rep ForeignEntitySpec Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep ForeignEntitySpec = D1 ('MetaData "ForeignEntitySpec" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) ((C1 ('MetaCons "ForeignEntityDynamic" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "ForeignEntityWrapper" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ForeignEntityStatic" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))))) :+: (C1 ('MetaCons "ForeignEntityAddress" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Text))) :+: (C1 ('MetaCons "ForeignEntityNamed" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "ForeignEntityOmitted" 'PrefixI 'False) (U1 :: Type -> Type))))

data ForeignSafety Source #

Constructors

Safe
Unsafe

Instances

Instances details

NFData ForeignSafety Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: ForeignSafety -> () #

Data ForeignSafety Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ForeignSafety -> c ForeignSafety #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ForeignSafety #

toConstr :: ForeignSafety -> Constr #

dataTypeOf :: ForeignSafety -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ForeignSafety) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ForeignSafety) #

gmapT :: (forall b. Data b => b -> b) -> ForeignSafety -> ForeignSafety #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ForeignSafety -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ForeignSafety -> r #

gmapQ :: (forall d. Data d => d -> u) -> ForeignSafety -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ForeignSafety -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ForeignSafety -> m ForeignSafety #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignSafety -> m ForeignSafety #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ForeignSafety -> m ForeignSafety #

Generic ForeignSafety Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep ForeignSafety
Instance details Defined in Aihc.Parser.Syntax type Rep ForeignSafety = D1 ('MetaData "ForeignSafety" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "Safe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Unsafe" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: ForeignSafety -> Rep ForeignSafety x #

to :: Rep ForeignSafety x -> ForeignSafety #

Show ForeignSafety Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> ForeignSafety -> ShowS #

show :: ForeignSafety -> String #

showList :: [ForeignSafety] -> ShowS #

Eq ForeignSafety Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: ForeignSafety -> ForeignSafety -> Bool #

(/=) :: ForeignSafety -> ForeignSafety -> Bool #

type Rep ForeignSafety Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep ForeignSafety = D1 ('MetaData "ForeignSafety" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "Safe" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Unsafe" 'PrefixI 'False) (U1 :: Type -> Type))

data GadtBody Source #

Body of a GADT constructor after the :: and optional forall/context

Constructors

GadtPrefixBody [BangType] Type	Prefix body: `a -> b -> T a`
GadtRecordBody [FieldDecl] Type	Record body: `{ field :: Type } -> T a`

Instances

Instances details

NFData GadtBody Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: GadtBody -> () #

Data GadtBody Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> GadtBody -> c GadtBody #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c GadtBody #

toConstr :: GadtBody -> Constr #

dataTypeOf :: GadtBody -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c GadtBody) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c GadtBody) #

gmapT :: (forall b. Data b => b -> b) -> GadtBody -> GadtBody #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> GadtBody -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> GadtBody -> r #

gmapQ :: (forall d. Data d => d -> u) -> GadtBody -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> GadtBody -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> GadtBody -> m GadtBody #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> GadtBody -> m GadtBody #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> GadtBody -> m GadtBody #

Generic GadtBody Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep GadtBody

Instance details

Defined in Aihc.Parser.Syntax

type Rep GadtBody = D1 ('MetaData "GadtBody" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "GadtPrefixBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [BangType]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)) :+: C1 ('MetaCons "GadtRecordBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FieldDecl]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))

Methods

from :: GadtBody -> Rep GadtBody x #

to :: Rep GadtBody x -> GadtBody #

Show GadtBody Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> GadtBody -> ShowS #

show :: GadtBody -> String #

showList :: [GadtBody] -> ShowS #

Eq GadtBody Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: GadtBody -> GadtBody -> Bool #

(/=) :: GadtBody -> GadtBody -> Bool #

type Rep GadtBody Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep GadtBody = D1 ('MetaData "GadtBody" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "GadtPrefixBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [BangType]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)) :+: C1 ('MetaCons "GadtRecordBody" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FieldDecl]) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type)))

data GuardQualifier Source #

Constructors

GuardExpr SourceSpan Expr
GuardPat SourceSpan Pattern Expr
GuardLet SourceSpan [Decl]

Instances

Instances details

HasSourceSpan GuardQualifier Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: GuardQualifier -> SourceSpan Source #

NFData GuardQualifier Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: GuardQualifier -> () #

Data GuardQualifier Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> GuardQualifier -> c GuardQualifier #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c GuardQualifier #

toConstr :: GuardQualifier -> Constr #

dataTypeOf :: GuardQualifier -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c GuardQualifier) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c GuardQualifier) #

gmapT :: (forall b. Data b => b -> b) -> GuardQualifier -> GuardQualifier #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> GuardQualifier -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> GuardQualifier -> r #

gmapQ :: (forall d. Data d => d -> u) -> GuardQualifier -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> GuardQualifier -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> GuardQualifier -> m GuardQualifier #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> GuardQualifier -> m GuardQualifier #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> GuardQualifier -> m GuardQualifier #

Generic GuardQualifier Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep GuardQualifier

Instance details

Defined in Aihc.Parser.Syntax

type Rep GuardQualifier = D1 ('MetaData "GuardQualifier" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "GuardExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expr)) :+: (C1 ('MetaCons "GuardPat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pattern) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expr))) :+: C1 ('MetaCons "GuardLet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Decl]))))

Methods

from :: GuardQualifier -> Rep GuardQualifier x #

to :: Rep GuardQualifier x -> GuardQualifier #

Show GuardQualifier Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> GuardQualifier -> ShowS #

show :: GuardQualifier -> String #

showList :: [GuardQualifier] -> ShowS #

Eq GuardQualifier Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: GuardQualifier -> GuardQualifier -> Bool #

(/=) :: GuardQualifier -> GuardQualifier -> Bool #

type Rep GuardQualifier Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep GuardQualifier = D1 ('MetaData "GuardQualifier" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "GuardExpr" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expr)) :+: (C1 ('MetaCons "GuardPat" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pattern) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expr))) :+: C1 ('MetaCons "GuardLet" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Decl]))))

data GuardedRhs Source #

Constructors

GuardedRhs
Fields guardedRhsSpan :: SourceSpan guardedRhsGuards :: [GuardQualifier] guardedRhsBody :: Expr

Instances

Instances details

HasSourceSpan GuardedRhs Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: GuardedRhs -> SourceSpan Source #

NFData GuardedRhs Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: GuardedRhs -> () #

Data GuardedRhs Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> GuardedRhs -> c GuardedRhs #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c GuardedRhs #

toConstr :: GuardedRhs -> Constr #

dataTypeOf :: GuardedRhs -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c GuardedRhs) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c GuardedRhs) #

gmapT :: (forall b. Data b => b -> b) -> GuardedRhs -> GuardedRhs #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> GuardedRhs -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> GuardedRhs -> r #

gmapQ :: (forall d. Data d => d -> u) -> GuardedRhs -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> GuardedRhs -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> GuardedRhs -> m GuardedRhs #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> GuardedRhs -> m GuardedRhs #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> GuardedRhs -> m GuardedRhs #

Generic GuardedRhs Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep GuardedRhs

Instance details

Defined in Aihc.Parser.Syntax

type Rep GuardedRhs = D1 ('MetaData "GuardedRhs" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "GuardedRhs" 'PrefixI 'True) (S1 ('MetaSel ('Just "guardedRhsSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Just "guardedRhsGuards") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [GuardQualifier]) :*: S1 ('MetaSel ('Just "guardedRhsBody") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expr))))

Methods

from :: GuardedRhs -> Rep GuardedRhs x #

to :: Rep GuardedRhs x -> GuardedRhs #

Show GuardedRhs Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> GuardedRhs -> ShowS #

show :: GuardedRhs -> String #

showList :: [GuardedRhs] -> ShowS #

Eq GuardedRhs Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: GuardedRhs -> GuardedRhs -> Bool #

(/=) :: GuardedRhs -> GuardedRhs -> Bool #

type Rep GuardedRhs Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep GuardedRhs = D1 ('MetaData "GuardedRhs" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "GuardedRhs" 'PrefixI 'True) (S1 ('MetaSel ('Just "guardedRhsSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Just "guardedRhsGuards") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [GuardQualifier]) :*: S1 ('MetaSel ('Just "guardedRhsBody") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expr))))

data ImportDecl Source #

Constructors

ImportDecl
Fields importDeclSpan :: SourceSpan importDeclLevel :: Maybe ImportLevel importDeclPackage :: Maybe Text importDeclQualified :: Bool importDeclQualifiedPost :: Bool importDeclModule :: Text importDeclAs :: Maybe Text importDeclSpec :: Maybe ImportSpec

Instances

Instances details

HasSourceSpan ImportDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: ImportDecl -> SourceSpan Source #

NFData ImportDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: ImportDecl -> () #

Generic ImportDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep ImportDecl

Instance details

Defined in Aihc.Parser.Syntax

Methods

from :: ImportDecl -> Rep ImportDecl x #

to :: Rep ImportDecl x -> ImportDecl #

Show ImportDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> ImportDecl -> ShowS #

show :: ImportDecl -> String #

showList :: [ImportDecl] -> ShowS #

Eq ImportDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: ImportDecl -> ImportDecl -> Bool #

(/=) :: ImportDecl -> ImportDecl -> Bool #

type Rep ImportDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

data ImportLevel Source #

Constructors

ImportLevelQuote
ImportLevelSplice

Instances

Instances details

NFData ImportLevel Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: ImportLevel -> () #

Generic ImportLevel Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep ImportLevel
Instance details Defined in Aihc.Parser.Syntax type Rep ImportLevel = D1 ('MetaData "ImportLevel" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "ImportLevelQuote" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ImportLevelSplice" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: ImportLevel -> Rep ImportLevel x #

to :: Rep ImportLevel x -> ImportLevel #

Show ImportLevel Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> ImportLevel -> ShowS #

show :: ImportLevel -> String #

showList :: [ImportLevel] -> ShowS #

Eq ImportLevel Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: ImportLevel -> ImportLevel -> Bool #

(/=) :: ImportLevel -> ImportLevel -> Bool #

type Rep ImportLevel Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep ImportLevel = D1 ('MetaData "ImportLevel" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "ImportLevelQuote" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "ImportLevelSplice" 'PrefixI 'False) (U1 :: Type -> Type))

data ImportItem Source #

Constructors

ImportItemVar SourceSpan (Maybe Text) Text
ImportItemAbs SourceSpan (Maybe Text) Text
ImportItemAll SourceSpan (Maybe Text) Text
ImportItemWith SourceSpan (Maybe Text) Text [Text]

Instances

Instances details

NFData ImportItem Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: ImportItem -> () #

Generic ImportItem Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep ImportItem

Instance details

Defined in Aihc.Parser.Syntax

Methods

from :: ImportItem -> Rep ImportItem x #

to :: Rep ImportItem x -> ImportItem #

Show ImportItem Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> ImportItem -> ShowS #

show :: ImportItem -> String #

showList :: [ImportItem] -> ShowS #

Eq ImportItem Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: ImportItem -> ImportItem -> Bool #

(/=) :: ImportItem -> ImportItem -> Bool #

type Rep ImportItem Source #

Instance details

Defined in Aihc.Parser.Syntax

data ImportSpec Source #

Constructors

ImportSpec
Fields importSpecSpan :: SourceSpan importSpecHiding :: Bool importSpecItems :: [ImportItem]

Instances

Instances details

HasSourceSpan ImportSpec Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: ImportSpec -> SourceSpan Source #

NFData ImportSpec Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: ImportSpec -> () #

Generic ImportSpec Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep ImportSpec

Instance details

Defined in Aihc.Parser.Syntax

type Rep ImportSpec = D1 ('MetaData "ImportSpec" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "ImportSpec" 'PrefixI 'True) (S1 ('MetaSel ('Just "importSpecSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Just "importSpecHiding") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "importSpecItems") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ImportItem]))))

Methods

from :: ImportSpec -> Rep ImportSpec x #

to :: Rep ImportSpec x -> ImportSpec #

Show ImportSpec Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> ImportSpec -> ShowS #

show :: ImportSpec -> String #

showList :: [ImportSpec] -> ShowS #

Eq ImportSpec Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: ImportSpec -> ImportSpec -> Bool #

(/=) :: ImportSpec -> ImportSpec -> Bool #

type Rep ImportSpec Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep ImportSpec = D1 ('MetaData "ImportSpec" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "ImportSpec" 'PrefixI 'True) (S1 ('MetaSel ('Just "importSpecSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Just "importSpecHiding") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Bool) :*: S1 ('MetaSel ('Just "importSpecItems") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ImportItem]))))

data InstanceDecl Source #

Constructors

InstanceDecl
Fields instanceDeclSpan :: SourceSpan instanceDeclContext :: [Constraint] instanceDeclClassName :: Text instanceDeclTypes :: [Type] instanceDeclItems :: [InstanceDeclItem]

Instances

Instances details

HasSourceSpan InstanceDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: InstanceDecl -> SourceSpan Source #

NFData InstanceDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: InstanceDecl -> () #

Data InstanceDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InstanceDecl -> c InstanceDecl #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InstanceDecl #

toConstr :: InstanceDecl -> Constr #

dataTypeOf :: InstanceDecl -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c InstanceDecl) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InstanceDecl) #

gmapT :: (forall b. Data b => b -> b) -> InstanceDecl -> InstanceDecl #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InstanceDecl -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InstanceDecl -> r #

gmapQ :: (forall d. Data d => d -> u) -> InstanceDecl -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> InstanceDecl -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> InstanceDecl -> m InstanceDecl #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InstanceDecl -> m InstanceDecl #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InstanceDecl -> m InstanceDecl #

Generic InstanceDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep InstanceDecl

Instance details

Defined in Aihc.Parser.Syntax

type Rep InstanceDecl = D1 ('MetaData "InstanceDecl" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "InstanceDecl" 'PrefixI 'True) ((S1 ('MetaSel ('Just "instanceDeclSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Just "instanceDeclContext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Constraint])) :*: (S1 ('MetaSel ('Just "instanceDeclClassName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "instanceDeclTypes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Type]) :*: S1 ('MetaSel ('Just "instanceDeclItems") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [InstanceDeclItem])))))

Methods

from :: InstanceDecl -> Rep InstanceDecl x #

to :: Rep InstanceDecl x -> InstanceDecl #

Show InstanceDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> InstanceDecl -> ShowS #

show :: InstanceDecl -> String #

showList :: [InstanceDecl] -> ShowS #

Eq InstanceDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: InstanceDecl -> InstanceDecl -> Bool #

(/=) :: InstanceDecl -> InstanceDecl -> Bool #

type Rep InstanceDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep InstanceDecl = D1 ('MetaData "InstanceDecl" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "InstanceDecl" 'PrefixI 'True) ((S1 ('MetaSel ('Just "instanceDeclSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Just "instanceDeclContext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Constraint])) :*: (S1 ('MetaSel ('Just "instanceDeclClassName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: (S1 ('MetaSel ('Just "instanceDeclTypes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Type]) :*: S1 ('MetaSel ('Just "instanceDeclItems") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [InstanceDeclItem])))))

data InstanceDeclItem Source #

Constructors

InstanceItemBind SourceSpan ValueDecl
InstanceItemTypeSig SourceSpan [BinderName] Type
InstanceItemFixity SourceSpan FixityAssoc (Maybe Int) [OperatorName]

Instances

Instances details

HasSourceSpan InstanceDeclItem Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: InstanceDeclItem -> SourceSpan Source #

NFData InstanceDeclItem Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: InstanceDeclItem -> () #

Data InstanceDeclItem Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> InstanceDeclItem -> c InstanceDeclItem #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c InstanceDeclItem #

toConstr :: InstanceDeclItem -> Constr #

dataTypeOf :: InstanceDeclItem -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c InstanceDeclItem) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c InstanceDeclItem) #

gmapT :: (forall b. Data b => b -> b) -> InstanceDeclItem -> InstanceDeclItem #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> InstanceDeclItem -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> InstanceDeclItem -> r #

gmapQ :: (forall d. Data d => d -> u) -> InstanceDeclItem -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> InstanceDeclItem -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> InstanceDeclItem -> m InstanceDeclItem #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> InstanceDeclItem -> m InstanceDeclItem #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> InstanceDeclItem -> m InstanceDeclItem #

Generic InstanceDeclItem Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep InstanceDeclItem

Instance details

Defined in Aihc.Parser.Syntax

Methods

from :: InstanceDeclItem -> Rep InstanceDeclItem x #

to :: Rep InstanceDeclItem x -> InstanceDeclItem #

Show InstanceDeclItem Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> InstanceDeclItem -> ShowS #

show :: InstanceDeclItem -> String #

showList :: [InstanceDeclItem] -> ShowS #

Eq InstanceDeclItem Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: InstanceDeclItem -> InstanceDeclItem -> Bool #

(/=) :: InstanceDeclItem -> InstanceDeclItem -> Bool #

type Rep InstanceDeclItem Source #

Instance details

Defined in Aihc.Parser.Syntax

data Literal Source #

Constructors

LitInt SourceSpan Integer Text
LitIntBase SourceSpan Integer Text
LitFloat SourceSpan Double Text
LitChar SourceSpan Char Text
LitString SourceSpan Text Text

Instances

Instances details

HasSourceSpan Literal Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: Literal -> SourceSpan Source #

NFData Literal Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: Literal -> () #

Data Literal Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Literal -> c Literal #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Literal #

toConstr :: Literal -> Constr #

dataTypeOf :: Literal -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Literal) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Literal) #

gmapT :: (forall b. Data b => b -> b) -> Literal -> Literal #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Literal -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Literal -> r #

gmapQ :: (forall d. Data d => d -> u) -> Literal -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Literal -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Literal -> m Literal #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Literal -> m Literal #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Literal -> m Literal #

Generic Literal Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep Literal

Instance details

Defined in Aihc.Parser.Syntax

Methods

from :: Literal -> Rep Literal x #

to :: Rep Literal x -> Literal #

Show Literal Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> Literal -> ShowS #

show :: Literal -> String #

showList :: [Literal] -> ShowS #

Eq Literal Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: Literal -> Literal -> Bool #

(/=) :: Literal -> Literal -> Bool #

type Rep Literal Source #

Instance details

Defined in Aihc.Parser.Syntax

data Match Source #

Constructors

Match
Fields matchSpan :: SourceSpan matchPats :: [Pattern] matchRhs :: Rhs

Instances

Instances details

HasSourceSpan Match Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: Match -> SourceSpan Source #

NFData Match Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: Match -> () #

Data Match Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Match -> c Match #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Match #

toConstr :: Match -> Constr #

dataTypeOf :: Match -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Match) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Match) #

gmapT :: (forall b. Data b => b -> b) -> Match -> Match #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Match -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Match -> r #

gmapQ :: (forall d. Data d => d -> u) -> Match -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Match -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Match -> m Match #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Match -> m Match #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Match -> m Match #

Generic Match Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep Match

Instance details

Defined in Aihc.Parser.Syntax

type Rep Match = D1 ('MetaData "Match" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "Match" 'PrefixI 'True) (S1 ('MetaSel ('Just "matchSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Just "matchPats") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Pattern]) :*: S1 ('MetaSel ('Just "matchRhs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rhs))))

Methods

from :: Match -> Rep Match x #

to :: Rep Match x -> Match #

Show Match Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> Match -> ShowS #

show :: Match -> String #

showList :: [Match] -> ShowS #

Eq Match Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

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

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

type Rep Match Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep Match = D1 ('MetaData "Match" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "Match" 'PrefixI 'True) (S1 ('MetaSel ('Just "matchSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Just "matchPats") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Pattern]) :*: S1 ('MetaSel ('Just "matchRhs") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rhs))))

data Module Source #

Constructors

Module
Fields moduleSpan :: SourceSpan moduleHead :: Maybe ModuleHead moduleLanguagePragmas :: [ExtensionSetting] moduleImports :: [ImportDecl] moduleDecls :: [Decl]

Instances

Instances details

Shorthand Module Source #

Instance details

Defined in Aihc.Parser.Shorthand

Methods

shorthand :: Module -> Doc () Source #

HasSourceSpan Module Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: Module -> SourceSpan Source #

NFData Module Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: Module -> () #

Generic Module Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep Module

Instance details

Defined in Aihc.Parser.Syntax

type Rep Module = D1 ('MetaData "Module" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "Module" 'PrefixI 'True) ((S1 ('MetaSel ('Just "moduleSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Just "moduleHead") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ModuleHead))) :*: (S1 ('MetaSel ('Just "moduleLanguagePragmas") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ExtensionSetting]) :*: (S1 ('MetaSel ('Just "moduleImports") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ImportDecl]) :*: S1 ('MetaSel ('Just "moduleDecls") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Decl])))))

Methods

from :: Module -> Rep Module x #

to :: Rep Module x -> Module #

Show Module Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> Module -> ShowS #

show :: Module -> String #

showList :: [Module] -> ShowS #

Eq Module Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: Module -> Module -> Bool #

(/=) :: Module -> Module -> Bool #

Pretty Module Source #

Pretty instance for Module - renders to valid Haskell source code.

Instance details

Defined in Aihc.Parser.Pretty

Methods

pretty :: Module -> Doc ann Source #

prettyList :: [Module] -> Doc ann Source #

type Rep Module Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep Module = D1 ('MetaData "Module" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "Module" 'PrefixI 'True) ((S1 ('MetaSel ('Just "moduleSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Just "moduleHead") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe ModuleHead))) :*: (S1 ('MetaSel ('Just "moduleLanguagePragmas") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ExtensionSetting]) :*: (S1 ('MetaSel ('Just "moduleImports") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [ImportDecl]) :*: S1 ('MetaSel ('Just "moduleDecls") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Decl])))))

data ModuleHead Source #

Constructors

ModuleHead
Fields moduleHeadSpan :: SourceSpan moduleHeadName :: Text moduleHeadWarningText :: Maybe WarningText moduleHeadExports :: Maybe [ExportSpec]

Instances

Instances details

HasSourceSpan ModuleHead Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: ModuleHead -> SourceSpan Source #

NFData ModuleHead Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: ModuleHead -> () #

Generic ModuleHead Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep ModuleHead

Instance details

Defined in Aihc.Parser.Syntax

type Rep ModuleHead = D1 ('MetaData "ModuleHead" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "ModuleHead" 'PrefixI 'True) ((S1 ('MetaSel ('Just "moduleHeadSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Just "moduleHeadName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "moduleHeadWarningText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WarningText)) :*: S1 ('MetaSel ('Just "moduleHeadExports") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [ExportSpec])))))

Methods

from :: ModuleHead -> Rep ModuleHead x #

to :: Rep ModuleHead x -> ModuleHead #

Show ModuleHead Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> ModuleHead -> ShowS #

show :: ModuleHead -> String #

showList :: [ModuleHead] -> ShowS #

Eq ModuleHead Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: ModuleHead -> ModuleHead -> Bool #

(/=) :: ModuleHead -> ModuleHead -> Bool #

type Rep ModuleHead Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep ModuleHead = D1 ('MetaData "ModuleHead" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "ModuleHead" 'PrefixI 'True) ((S1 ('MetaSel ('Just "moduleHeadSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Just "moduleHeadName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "moduleHeadWarningText") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe WarningText)) :*: S1 ('MetaSel ('Just "moduleHeadExports") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe [ExportSpec])))))

data WarningText Source #

Constructors

DeprText SourceSpan Text
WarnText SourceSpan Text

Instances

Instances details

HasSourceSpan WarningText Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: WarningText -> SourceSpan Source #

NFData WarningText Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: WarningText -> () #

Generic WarningText Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep WarningText

Instance details

Defined in Aihc.Parser.Syntax

type Rep WarningText = D1 ('MetaData "WarningText" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "DeprText" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "WarnText" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

Methods

from :: WarningText -> Rep WarningText x #

to :: Rep WarningText x -> WarningText #

Show WarningText Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> WarningText -> ShowS #

show :: WarningText -> String #

showList :: [WarningText] -> ShowS #

Eq WarningText Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: WarningText -> WarningText -> Bool #

(/=) :: WarningText -> WarningText -> Bool #

type Rep WarningText Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep WarningText = D1 ('MetaData "WarningText" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "DeprText" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "WarnText" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data NewtypeDecl Source #

Constructors

NewtypeDecl
Fields newtypeDeclSpan :: SourceSpan newtypeDeclContext :: [Constraint] newtypeDeclName :: Text newtypeDeclParams :: [TyVarBinder] newtypeDeclConstructor :: Maybe DataConDecl newtypeDeclDeriving :: [DerivingClause]

Instances

Instances details

HasSourceSpan NewtypeDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: NewtypeDecl -> SourceSpan Source #

NFData NewtypeDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: NewtypeDecl -> () #

Data NewtypeDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> NewtypeDecl -> c NewtypeDecl #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c NewtypeDecl #

toConstr :: NewtypeDecl -> Constr #

dataTypeOf :: NewtypeDecl -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c NewtypeDecl) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c NewtypeDecl) #

gmapT :: (forall b. Data b => b -> b) -> NewtypeDecl -> NewtypeDecl #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> NewtypeDecl -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> NewtypeDecl -> r #

gmapQ :: (forall d. Data d => d -> u) -> NewtypeDecl -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> NewtypeDecl -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> NewtypeDecl -> m NewtypeDecl #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> NewtypeDecl -> m NewtypeDecl #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> NewtypeDecl -> m NewtypeDecl #

Generic NewtypeDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep NewtypeDecl

Instance details

Defined in Aihc.Parser.Syntax

type Rep NewtypeDecl = D1 ('MetaData "NewtypeDecl" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "NewtypeDecl" 'PrefixI 'True) ((S1 ('MetaSel ('Just "newtypeDeclSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Just "newtypeDeclContext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Constraint]) :*: S1 ('MetaSel ('Just "newtypeDeclName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :*: (S1 ('MetaSel ('Just "newtypeDeclParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBinder]) :*: (S1 ('MetaSel ('Just "newtypeDeclConstructor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe DataConDecl)) :*: S1 ('MetaSel ('Just "newtypeDeclDeriving") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DerivingClause])))))

Methods

from :: NewtypeDecl -> Rep NewtypeDecl x #

to :: Rep NewtypeDecl x -> NewtypeDecl #

Show NewtypeDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> NewtypeDecl -> ShowS #

show :: NewtypeDecl -> String #

showList :: [NewtypeDecl] -> ShowS #

Eq NewtypeDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: NewtypeDecl -> NewtypeDecl -> Bool #

(/=) :: NewtypeDecl -> NewtypeDecl -> Bool #

type Rep NewtypeDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep NewtypeDecl = D1 ('MetaData "NewtypeDecl" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "NewtypeDecl" 'PrefixI 'True) ((S1 ('MetaSel ('Just "newtypeDeclSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Just "newtypeDeclContext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Constraint]) :*: S1 ('MetaSel ('Just "newtypeDeclName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :*: (S1 ('MetaSel ('Just "newtypeDeclParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBinder]) :*: (S1 ('MetaSel ('Just "newtypeDeclConstructor") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe DataConDecl)) :*: S1 ('MetaSel ('Just "newtypeDeclDeriving") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [DerivingClause])))))

type OperatorName = Text Source #

data Pattern Source #

Instances

Instances details

Shorthand Pattern Source #

Instance details

Defined in Aihc.Parser.Shorthand

Methods

shorthand :: Pattern -> Doc () Source #

HasSourceSpan Pattern Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: Pattern -> SourceSpan Source #

NFData Pattern Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: Pattern -> () #

Data Pattern Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pattern -> c Pattern #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Pattern #

toConstr :: Pattern -> Constr #

dataTypeOf :: Pattern -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Pattern) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Pattern) #

gmapT :: (forall b. Data b => b -> b) -> Pattern -> Pattern #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pattern -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pattern -> r #

gmapQ :: (forall d. Data d => d -> u) -> Pattern -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Pattern -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pattern -> m Pattern #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pattern -> m Pattern #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pattern -> m Pattern #

Generic Pattern Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep Pattern

Instance details

Defined in Aihc.Parser.Syntax

Methods

from :: Pattern -> Rep Pattern x #

to :: Rep Pattern x -> Pattern #

Show Pattern Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> Pattern -> ShowS #

show :: Pattern -> String #

showList :: [Pattern] -> ShowS #

Eq Pattern Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: Pattern -> Pattern -> Bool #

(/=) :: Pattern -> Pattern -> Bool #

Pretty Pattern Source #

Pretty instance for Pattern - renders to valid Haskell source code.

Instance details

Defined in Aihc.Parser.Pretty

Methods

pretty :: Pattern -> Doc ann Source #

prettyList :: [Pattern] -> Doc ann Source #

type Rep Pattern Source #

Instance details

Defined in Aihc.Parser.Syntax

data Rhs Source #

Constructors

UnguardedRhs SourceSpan Expr
GuardedRhss SourceSpan [GuardedRhs]

Instances

Instances details

HasSourceSpan Rhs Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: Rhs -> SourceSpan Source #

NFData Rhs Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: Rhs -> () #

Data Rhs Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Rhs -> c Rhs #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Rhs #

toConstr :: Rhs -> Constr #

dataTypeOf :: Rhs -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Rhs) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Rhs) #

gmapT :: (forall b. Data b => b -> b) -> Rhs -> Rhs #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Rhs -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Rhs -> r #

gmapQ :: (forall d. Data d => d -> u) -> Rhs -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Rhs -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Rhs -> m Rhs #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Rhs -> m Rhs #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Rhs -> m Rhs #

Generic Rhs Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep Rhs

Instance details

Defined in Aihc.Parser.Syntax

type Rep Rhs = D1 ('MetaData "Rhs" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "UnguardedRhs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expr)) :+: C1 ('MetaCons "GuardedRhss" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [GuardedRhs])))

Methods

from :: Rhs -> Rep Rhs x #

to :: Rep Rhs x -> Rhs #

Show Rhs Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> Rhs -> ShowS #

show :: Rhs -> String #

showList :: [Rhs] -> ShowS #

Eq Rhs Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: Rhs -> Rhs -> Bool #

(/=) :: Rhs -> Rhs -> Bool #

type Rep Rhs Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep Rhs = D1 ('MetaData "Rhs" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "UnguardedRhs" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Expr)) :+: C1 ('MetaCons "GuardedRhss" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [GuardedRhs])))

class HasSourceSpan a where Source #

Methods

getSourceSpan :: a -> SourceSpan Source #

Instances

Instances details

HasSourceSpan ArithSeq Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: ArithSeq -> SourceSpan Source #
HasSourceSpan BangType Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: BangType -> SourceSpan Source #
HasSourceSpan CaseAlt Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: CaseAlt -> SourceSpan Source #
HasSourceSpan ClassDecl Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: ClassDecl -> SourceSpan Source #
HasSourceSpan ClassDeclItem Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: ClassDeclItem -> SourceSpan Source #
HasSourceSpan CompStmt Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: CompStmt -> SourceSpan Source #
HasSourceSpan Constraint Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: Constraint -> SourceSpan Source #
HasSourceSpan DataConDecl Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: DataConDecl -> SourceSpan Source #
HasSourceSpan DataDecl Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: DataDecl -> SourceSpan Source #
HasSourceSpan Decl Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: Decl -> SourceSpan Source #
HasSourceSpan DoStmt Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: DoStmt -> SourceSpan Source #
HasSourceSpan Expr Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: Expr -> SourceSpan Source #
HasSourceSpan FieldDecl Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: FieldDecl -> SourceSpan Source #
HasSourceSpan ForeignDecl Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: ForeignDecl -> SourceSpan Source #
HasSourceSpan GuardQualifier Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: GuardQualifier -> SourceSpan Source #
HasSourceSpan GuardedRhs Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: GuardedRhs -> SourceSpan Source #
HasSourceSpan ImportDecl Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: ImportDecl -> SourceSpan Source #
HasSourceSpan ImportSpec Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: ImportSpec -> SourceSpan Source #
HasSourceSpan InstanceDecl Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: InstanceDecl -> SourceSpan Source #
HasSourceSpan InstanceDeclItem Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: InstanceDeclItem -> SourceSpan Source #
HasSourceSpan Literal Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: Literal -> SourceSpan Source #
HasSourceSpan Match Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: Match -> SourceSpan Source #
HasSourceSpan Module Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: Module -> SourceSpan Source #
HasSourceSpan ModuleHead Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: ModuleHead -> SourceSpan Source #
HasSourceSpan NewtypeDecl Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: NewtypeDecl -> SourceSpan Source #
HasSourceSpan Pattern Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: Pattern -> SourceSpan Source #
HasSourceSpan Rhs Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: Rhs -> SourceSpan Source #
HasSourceSpan StandaloneDerivingDecl Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: StandaloneDerivingDecl -> SourceSpan Source #
HasSourceSpan TyVarBinder Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: TyVarBinder -> SourceSpan Source #
HasSourceSpan Type Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: Type -> SourceSpan Source #
HasSourceSpan TypeSynDecl Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: TypeSynDecl -> SourceSpan Source #
HasSourceSpan ValueDecl Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: ValueDecl -> SourceSpan Source #
HasSourceSpan WarningText Source #
Instance details Defined in Aihc.Parser.Syntax Methods getSourceSpan :: WarningText -> SourceSpan Source #

data SourceSpan Source #

Constructors

NoSourceSpan
SourceSpan
Fields sourceSpanStartLine :: !Int sourceSpanStartCol :: !Int sourceSpanEndLine :: !Int sourceSpanEndCol :: !Int

Instances

Instances details

NFData SourceSpan Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: SourceSpan -> () #

Data SourceSpan Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> SourceSpan -> c SourceSpan #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c SourceSpan #

toConstr :: SourceSpan -> Constr #

dataTypeOf :: SourceSpan -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c SourceSpan) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c SourceSpan) #

gmapT :: (forall b. Data b => b -> b) -> SourceSpan -> SourceSpan #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> SourceSpan -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> SourceSpan -> r #

gmapQ :: (forall d. Data d => d -> u) -> SourceSpan -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> SourceSpan -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> SourceSpan -> m SourceSpan #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceSpan -> m SourceSpan #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> SourceSpan -> m SourceSpan #

Generic SourceSpan Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep SourceSpan

Instance details

Defined in Aihc.Parser.Syntax

type Rep SourceSpan = D1 ('MetaData "SourceSpan" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "NoSourceSpan" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SourceSpan" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sourceSpanStartLine") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "sourceSpanStartCol") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "sourceSpanEndLine") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "sourceSpanEndCol") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int))))

Methods

from :: SourceSpan -> Rep SourceSpan x #

to :: Rep SourceSpan x -> SourceSpan #

Show SourceSpan Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> SourceSpan -> ShowS #

show :: SourceSpan -> String #

showList :: [SourceSpan] -> ShowS #

Eq SourceSpan Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: SourceSpan -> SourceSpan -> Bool #

(/=) :: SourceSpan -> SourceSpan -> Bool #

Ord SourceSpan Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

compare :: SourceSpan -> SourceSpan -> Ordering #

(<) :: SourceSpan -> SourceSpan -> Bool #

(<=) :: SourceSpan -> SourceSpan -> Bool #

(>) :: SourceSpan -> SourceSpan -> Bool #

(>=) :: SourceSpan -> SourceSpan -> Bool #

max :: SourceSpan -> SourceSpan -> SourceSpan #

min :: SourceSpan -> SourceSpan -> SourceSpan #

type Rep SourceSpan Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep SourceSpan = D1 ('MetaData "SourceSpan" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "NoSourceSpan" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "SourceSpan" 'PrefixI 'True) ((S1 ('MetaSel ('Just "sourceSpanStartLine") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "sourceSpanStartCol") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int)) :*: (S1 ('MetaSel ('Just "sourceSpanEndLine") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int) :*: S1 ('MetaSel ('Just "sourceSpanEndCol") 'NoSourceUnpackedness 'SourceStrict 'DecidedStrict) (Rec0 Int))))

data StandaloneDerivingDecl Source #

Constructors

StandaloneDerivingDecl
Fields standaloneDerivingSpan :: SourceSpan standaloneDerivingStrategy :: Maybe DerivingStrategy standaloneDerivingContext :: [Constraint] standaloneDerivingClassName :: Text standaloneDerivingTypes :: [Type]

Instances

Instances details

HasSourceSpan StandaloneDerivingDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: StandaloneDerivingDecl -> SourceSpan Source #

NFData StandaloneDerivingDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: StandaloneDerivingDecl -> () #

Data StandaloneDerivingDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> StandaloneDerivingDecl -> c StandaloneDerivingDecl #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c StandaloneDerivingDecl #

toConstr :: StandaloneDerivingDecl -> Constr #

dataTypeOf :: StandaloneDerivingDecl -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c StandaloneDerivingDecl) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c StandaloneDerivingDecl) #

gmapT :: (forall b. Data b => b -> b) -> StandaloneDerivingDecl -> StandaloneDerivingDecl #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> StandaloneDerivingDecl -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> StandaloneDerivingDecl -> r #

gmapQ :: (forall d. Data d => d -> u) -> StandaloneDerivingDecl -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> StandaloneDerivingDecl -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> StandaloneDerivingDecl -> m StandaloneDerivingDecl #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> StandaloneDerivingDecl -> m StandaloneDerivingDecl #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> StandaloneDerivingDecl -> m StandaloneDerivingDecl #

Generic StandaloneDerivingDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep StandaloneDerivingDecl

Instance details

Defined in Aihc.Parser.Syntax

type Rep StandaloneDerivingDecl = D1 ('MetaData "StandaloneDerivingDecl" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "StandaloneDerivingDecl" 'PrefixI 'True) ((S1 ('MetaSel ('Just "standaloneDerivingSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Just "standaloneDerivingStrategy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe DerivingStrategy))) :*: (S1 ('MetaSel ('Just "standaloneDerivingContext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Constraint]) :*: (S1 ('MetaSel ('Just "standaloneDerivingClassName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "standaloneDerivingTypes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Type])))))

Methods

from :: StandaloneDerivingDecl -> Rep StandaloneDerivingDecl x #

to :: Rep StandaloneDerivingDecl x -> StandaloneDerivingDecl #

Show StandaloneDerivingDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> StandaloneDerivingDecl -> ShowS #

show :: StandaloneDerivingDecl -> String #

showList :: [StandaloneDerivingDecl] -> ShowS #

Eq StandaloneDerivingDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: StandaloneDerivingDecl -> StandaloneDerivingDecl -> Bool #

(/=) :: StandaloneDerivingDecl -> StandaloneDerivingDecl -> Bool #

type Rep StandaloneDerivingDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep StandaloneDerivingDecl = D1 ('MetaData "StandaloneDerivingDecl" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "StandaloneDerivingDecl" 'PrefixI 'True) ((S1 ('MetaSel ('Just "standaloneDerivingSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Just "standaloneDerivingStrategy") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe DerivingStrategy))) :*: (S1 ('MetaSel ('Just "standaloneDerivingContext") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Constraint]) :*: (S1 ('MetaSel ('Just "standaloneDerivingClassName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "standaloneDerivingTypes") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Type])))))

data Type Source #

Instances

Instances details

Shorthand Type Source #

Instance details

Defined in Aihc.Parser.Shorthand

Methods

shorthand :: Type -> Doc () Source #

HasSourceSpan Type Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: Type -> SourceSpan Source #

NFData Type Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: Type -> () #

Data Type Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Type -> c Type #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Type #

toConstr :: Type -> Constr #

dataTypeOf :: Type -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Type) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Type) #

gmapT :: (forall b. Data b => b -> b) -> Type -> Type #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Type -> r #

gmapQ :: (forall d. Data d => d -> u) -> Type -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> Type -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> Type -> m Type #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Type -> m Type #

Generic Type Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep Type

Instance details

Defined in Aihc.Parser.Syntax

Methods

from :: Type -> Rep Type x #

to :: Rep Type x -> Type #

Show Type Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> Type -> ShowS #

show :: Type -> String #

showList :: [Type] -> ShowS #

Eq Type Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: Type -> Type -> Bool #

(/=) :: Type -> Type -> Bool #

Pretty Type Source #

Pretty instance for Type - renders to valid Haskell source code.

Instance details

Defined in Aihc.Parser.Pretty

Methods

pretty :: Type -> Doc ann Source #

prettyList :: [Type] -> Doc ann Source #

type Rep Type Source #

Instance details

Defined in Aihc.Parser.Syntax

data TypeLiteral Source #

Constructors

TypeLitInteger Integer Text
TypeLitSymbol Text Text
TypeLitChar Char Text

Instances

Instances details

NFData TypeLiteral Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: TypeLiteral -> () #

Data TypeLiteral Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeLiteral -> c TypeLiteral #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeLiteral #

toConstr :: TypeLiteral -> Constr #

dataTypeOf :: TypeLiteral -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypeLiteral) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeLiteral) #

gmapT :: (forall b. Data b => b -> b) -> TypeLiteral -> TypeLiteral #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeLiteral -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeLiteral -> r #

gmapQ :: (forall d. Data d => d -> u) -> TypeLiteral -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeLiteral -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeLiteral -> m TypeLiteral #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeLiteral -> m TypeLiteral #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeLiteral -> m TypeLiteral #

Generic TypeLiteral Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep TypeLiteral

Instance details

Defined in Aihc.Parser.Syntax

type Rep TypeLiteral = D1 ('MetaData "TypeLiteral" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "TypeLitInteger" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "TypeLitSymbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "TypeLitChar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Char) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

Methods

from :: TypeLiteral -> Rep TypeLiteral x #

to :: Rep TypeLiteral x -> TypeLiteral #

Show TypeLiteral Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> TypeLiteral -> ShowS #

show :: TypeLiteral -> String #

showList :: [TypeLiteral] -> ShowS #

Eq TypeLiteral Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: TypeLiteral -> TypeLiteral -> Bool #

(/=) :: TypeLiteral -> TypeLiteral -> Bool #

type Rep TypeLiteral Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep TypeLiteral = D1 ('MetaData "TypeLiteral" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "TypeLitInteger" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Integer) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: (C1 ('MetaCons "TypeLitSymbol" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :+: C1 ('MetaCons "TypeLitChar" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Char) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))))

data TypePromotion Source #

Constructors

Unpromoted
Promoted

Instances

Instances details

NFData TypePromotion Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: TypePromotion -> () #

Data TypePromotion Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypePromotion -> c TypePromotion #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypePromotion #

toConstr :: TypePromotion -> Constr #

dataTypeOf :: TypePromotion -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypePromotion) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypePromotion) #

gmapT :: (forall b. Data b => b -> b) -> TypePromotion -> TypePromotion #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypePromotion -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypePromotion -> r #

gmapQ :: (forall d. Data d => d -> u) -> TypePromotion -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> TypePromotion -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypePromotion -> m TypePromotion #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypePromotion -> m TypePromotion #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypePromotion -> m TypePromotion #

Generic TypePromotion Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep TypePromotion
Instance details Defined in Aihc.Parser.Syntax type Rep TypePromotion = D1 ('MetaData "TypePromotion" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "Unpromoted" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Promoted" 'PrefixI 'False) (U1 :: Type -> Type))

Methods

from :: TypePromotion -> Rep TypePromotion x #

to :: Rep TypePromotion x -> TypePromotion #

Show TypePromotion Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> TypePromotion -> ShowS #

show :: TypePromotion -> String #

showList :: [TypePromotion] -> ShowS #

Eq TypePromotion Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: TypePromotion -> TypePromotion -> Bool #

(/=) :: TypePromotion -> TypePromotion -> Bool #

type Rep TypePromotion Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep TypePromotion = D1 ('MetaData "TypePromotion" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "Unpromoted" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Promoted" 'PrefixI 'False) (U1 :: Type -> Type))

data TyVarBinder Source #

Constructors

TyVarBinder
Fields tyVarBinderSpan :: SourceSpan tyVarBinderName :: Text tyVarBinderKind :: Maybe Type

Instances

Instances details

HasSourceSpan TyVarBinder Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: TyVarBinder -> SourceSpan Source #

NFData TyVarBinder Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: TyVarBinder -> () #

Data TyVarBinder Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TyVarBinder -> c TyVarBinder #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TyVarBinder #

toConstr :: TyVarBinder -> Constr #

dataTypeOf :: TyVarBinder -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TyVarBinder) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TyVarBinder) #

gmapT :: (forall b. Data b => b -> b) -> TyVarBinder -> TyVarBinder #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TyVarBinder -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TyVarBinder -> r #

gmapQ :: (forall d. Data d => d -> u) -> TyVarBinder -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> TyVarBinder -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TyVarBinder -> m TyVarBinder #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TyVarBinder -> m TyVarBinder #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TyVarBinder -> m TyVarBinder #

Generic TyVarBinder Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep TyVarBinder

Instance details

Defined in Aihc.Parser.Syntax

type Rep TyVarBinder = D1 ('MetaData "TyVarBinder" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "TyVarBinder" 'PrefixI 'True) (S1 ('MetaSel ('Just "tyVarBinderSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Just "tyVarBinderName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "tyVarBinderKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Type)))))

Methods

from :: TyVarBinder -> Rep TyVarBinder x #

to :: Rep TyVarBinder x -> TyVarBinder #

Show TyVarBinder Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> TyVarBinder -> ShowS #

show :: TyVarBinder -> String #

showList :: [TyVarBinder] -> ShowS #

Eq TyVarBinder Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: TyVarBinder -> TyVarBinder -> Bool #

(/=) :: TyVarBinder -> TyVarBinder -> Bool #

type Rep TyVarBinder Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep TyVarBinder = D1 ('MetaData "TyVarBinder" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "TyVarBinder" 'PrefixI 'True) (S1 ('MetaSel ('Just "tyVarBinderSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Just "tyVarBinderName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :*: S1 ('MetaSel ('Just "tyVarBinderKind") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Maybe Type)))))

data TypeSynDecl Source #

Constructors

TypeSynDecl
Fields typeSynSpan :: SourceSpan typeSynName :: Text typeSynParams :: [TyVarBinder] typeSynBody :: Type

Instances

Instances details

HasSourceSpan TypeSynDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: TypeSynDecl -> SourceSpan Source #

NFData TypeSynDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: TypeSynDecl -> () #

Data TypeSynDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> TypeSynDecl -> c TypeSynDecl #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c TypeSynDecl #

toConstr :: TypeSynDecl -> Constr #

dataTypeOf :: TypeSynDecl -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c TypeSynDecl) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c TypeSynDecl) #

gmapT :: (forall b. Data b => b -> b) -> TypeSynDecl -> TypeSynDecl #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> TypeSynDecl -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> TypeSynDecl -> r #

gmapQ :: (forall d. Data d => d -> u) -> TypeSynDecl -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> TypeSynDecl -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> TypeSynDecl -> m TypeSynDecl #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeSynDecl -> m TypeSynDecl #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> TypeSynDecl -> m TypeSynDecl #

Generic TypeSynDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep TypeSynDecl

Instance details

Defined in Aihc.Parser.Syntax

type Rep TypeSynDecl = D1 ('MetaData "TypeSynDecl" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "TypeSynDecl" 'PrefixI 'True) ((S1 ('MetaSel ('Just "typeSynSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Just "typeSynName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "typeSynParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBinder]) :*: S1 ('MetaSel ('Just "typeSynBody") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))))

Methods

from :: TypeSynDecl -> Rep TypeSynDecl x #

to :: Rep TypeSynDecl x -> TypeSynDecl #

Show TypeSynDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> TypeSynDecl -> ShowS #

show :: TypeSynDecl -> String #

showList :: [TypeSynDecl] -> ShowS #

Eq TypeSynDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: TypeSynDecl -> TypeSynDecl -> Bool #

(/=) :: TypeSynDecl -> TypeSynDecl -> Bool #

type Rep TypeSynDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep TypeSynDecl = D1 ('MetaData "TypeSynDecl" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "TypeSynDecl" 'PrefixI 'True) ((S1 ('MetaSel ('Just "typeSynSpan") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: S1 ('MetaSel ('Just "typeSynName") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)) :*: (S1 ('MetaSel ('Just "typeSynParams") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [TyVarBinder]) :*: S1 ('MetaSel ('Just "typeSynBody") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Type))))

data ValueDecl Source #

Constructors

FunctionBind SourceSpan BinderName [Match]
PatternBind SourceSpan Pattern Rhs

Instances

Instances details

HasSourceSpan ValueDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

getSourceSpan :: ValueDecl -> SourceSpan Source #

NFData ValueDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

rnf :: ValueDecl -> () #

Data ValueDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> ValueDecl -> c ValueDecl #

gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c ValueDecl #

toConstr :: ValueDecl -> Constr #

dataTypeOf :: ValueDecl -> DataType #

dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c ValueDecl) #

dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c ValueDecl) #

gmapT :: (forall b. Data b => b -> b) -> ValueDecl -> ValueDecl #

gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> ValueDecl -> r #

gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> ValueDecl -> r #

gmapQ :: (forall d. Data d => d -> u) -> ValueDecl -> [u] #

gmapQi :: Int -> (forall d. Data d => d -> u) -> ValueDecl -> u #

gmapM :: Monad m => (forall d. Data d => d -> m d) -> ValueDecl -> m ValueDecl #

gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> ValueDecl -> m ValueDecl #

gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> ValueDecl -> m ValueDecl #

Generic ValueDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Associated Types

type Rep ValueDecl

Instance details

Defined in Aihc.Parser.Syntax

type Rep ValueDecl = D1 ('MetaData "ValueDecl" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "FunctionBind" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BinderName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Match]))) :+: C1 ('MetaCons "PatternBind" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pattern) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rhs))))

Methods

from :: ValueDecl -> Rep ValueDecl x #

to :: Rep ValueDecl x -> ValueDecl #

Show ValueDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

showsPrec :: Int -> ValueDecl -> ShowS #

show :: ValueDecl -> String #

showList :: [ValueDecl] -> ShowS #

Eq ValueDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

Methods

(==) :: ValueDecl -> ValueDecl -> Bool #

(/=) :: ValueDecl -> ValueDecl -> Bool #

type Rep ValueDecl Source #

Instance details

Defined in Aihc.Parser.Syntax

type Rep ValueDecl = D1 ('MetaData "ValueDecl" "Aihc.Parser.Syntax" "aihc-parser-0.1.0.0-DMgbIAjzuEdJKCHQvjmdks" 'False) (C1 ('MetaCons "FunctionBind" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 BinderName) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [Match]))) :+: C1 ('MetaCons "PatternBind" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 SourceSpan) :*: (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Pattern) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Rhs))))

declValueBinderNames :: Decl -> [Text] Source #

allKnownExtensions :: [Extension] Source #

extensionName :: Extension -> Text Source #

extensionSettingName :: ExtensionSetting -> Text Source #

gadtBodyResultType :: GadtBody -> Type Source #

Get the result type from a GADT body

mergeSourceSpans :: SourceSpan -> SourceSpan -> SourceSpan Source #

noSourceSpan :: SourceSpan Source #

parseExtensionName :: Text -> Maybe Extension Source #

parseExtensionSettingName :: Text -> Maybe ExtensionSetting Source #

sourceSpanEnd :: HasSourceSpan a => [a] -> SourceSpan Source #

valueDeclBinderName :: ValueDecl -> Maybe Text Source #

moduleName :: Module -> Maybe Text Source #

moduleWarningText :: Module -> Maybe WarningText Source #

moduleExports :: Module -> Maybe [ExportSpec] Source #

DeclValue SourceSpan ValueDecl
DeclTypeSig SourceSpan [BinderName] Type
DeclStandaloneKindSig SourceSpan BinderName Type
DeclFixity SourceSpan FixityAssoc (Maybe Int) [OperatorName]
DeclTypeSyn SourceSpan TypeSynDecl
DeclData SourceSpan DataDecl
DeclNewtype SourceSpan NewtypeDecl
DeclClass SourceSpan ClassDecl
DeclInstance SourceSpan InstanceDecl
DeclStandaloneDeriving SourceSpan StandaloneDerivingDecl
DeclDefault SourceSpan [Type]
DeclForeign SourceSpan ForeignDecl

PVar SourceSpan Text
PWildcard SourceSpan
PLit SourceSpan Literal
PQuasiQuote SourceSpan Text Text
PTuple SourceSpan [Pattern]
PList SourceSpan [Pattern]
PCon SourceSpan Text [Pattern]
PInfix SourceSpan Pattern Text Pattern
PView SourceSpan Expr Pattern
PAs SourceSpan Text Pattern
PStrict SourceSpan Pattern
PIrrefutable SourceSpan Pattern
PNegLit SourceSpan Literal
PParen SourceSpan Pattern
PRecord SourceSpan Text [(Text, Pattern)]

TVar SourceSpan Text
TCon SourceSpan Text TypePromotion
TTypeLit SourceSpan TypeLiteral
TStar SourceSpan
TQuasiQuote SourceSpan Text Text
TForall SourceSpan [Text] Type
TApp SourceSpan Type Type
TFun SourceSpan Type Type
TTuple SourceSpan TypePromotion [Type]
TList SourceSpan TypePromotion Type
TParen SourceSpan Type
TContext SourceSpan [Constraint] Type