Safe Haskell	None
Language	Haskell2010

Data.Derive.DSL.HSE

Synopsis

data Output
- = OString String
- | OInt Integer
- | OApp String [Output]
- | OList [Output]
- | OIgnore
- | OCustom String
type Out = [Decl ()]
type Ctor = CtorDecl
type Input = DataDecl
sample :: Input
outEq :: Out -> Out -> Bool
showOut :: Pretty a => [a] -> String
dataName :: DataDecl -> String
dataVars :: DataDecl -> Int
dataCtors :: DataDecl -> [CtorDecl]
ctorName :: CtorDecl -> String
ctorArity :: CtorDecl -> Integer
ctorIndex :: Input -> Ctor -> Integer
toInput :: DataDecl -> Input
toOutput :: Data a => a -> Output
fromOutput :: Data a => Output -> a
coerce :: (Typeable a1, Typeable a2) => a1 -> a2
readCon :: DataType -> [Char] -> Constr
out :: Data a => a -> Output
fromState :: State a x -> x
readExtensions :: String -> Maybe (Maybe Language, [Extension])
parseFileContentsWithComments :: ParseMode -> String -> ParseResult (Module SrcSpanInfo, [Comment])
parseFileContentsWithMode :: ParseMode -> String -> ParseResult (Module SrcSpanInfo)
parseFileContentsWithExts :: [Extension] -> String -> ParseResult (Module SrcSpanInfo)
parseFileContents :: String -> ParseResult (Module SrcSpanInfo)
parseFileWithCommentsAndPragmas :: ParseMode -> FilePath -> IO (ParseResult (Module SrcSpanInfo, [Comment], [UnknownPragma]))
parseFileWithComments :: ParseMode -> FilePath -> IO (ParseResult (Module SrcSpanInfo, [Comment]))
parseFileWithMode :: ParseMode -> FilePath -> IO (ParseResult (Module SrcSpanInfo))
parseFileWithExts :: [Extension] -> FilePath -> IO (ParseResult (Module SrcSpanInfo))
parseFile :: FilePath -> IO (ParseResult (Module SrcSpanInfo))
metaConPat :: String -> [Pat ()] -> Pat ()
metaFunction :: String -> [Exp ()] -> Exp ()
nameBind :: Name () -> Exp () -> Decl ()
patBindWhere :: Pat () -> Exp () -> [Decl ()] -> Decl ()
patBind :: Pat () -> Exp () -> Decl ()
simpleFun :: Name () -> Name () -> Exp () -> Decl ()
sfun :: Name () -> [Name ()] -> Rhs () -> Maybe (Binds ()) -> Decl ()
genNames :: String -> Int -> [Name ()]
wildcard :: Pat ()
noBinds :: Maybe (Binds ())
letStmt :: [Decl ()] -> Stmt ()
genStmt :: Pat () -> Exp () -> Stmt ()
qualStmt :: Exp () -> Stmt ()
pParen :: Pat () -> Pat ()
peList :: Pat ()
eList :: Exp ()
listE :: [Exp ()] -> Exp ()
altGW :: Pat () -> [Stmt ()] -> Exp () -> Binds () -> Alt ()
alt :: Pat () -> Exp () -> Alt ()
caseE :: Exp () -> [Alt ()] -> Exp ()
letE :: [Decl ()] -> Exp () -> Exp ()
lamE :: [Pat ()] -> Exp () -> Exp ()
doE :: [Stmt ()] -> Exp ()
intP :: Integer -> Pat ()
charP :: Char -> Pat ()
strP :: String -> Pat ()
intE :: Integer -> Exp ()
charE :: Char -> Exp ()
strE :: String -> Exp ()
function :: String -> Exp ()
pvarTuple :: [Name ()] -> Pat ()
varTuple :: [Name ()] -> Exp ()
pTuple :: [Pat ()] -> Pat ()
tuple :: [Exp ()] -> Exp ()
pApp :: Name () -> [Pat ()] -> Pat ()
appFun :: Exp () -> [Exp ()] -> Exp ()
infixApp :: Exp () -> QOp () -> Exp () -> Exp ()
pvar :: Name () -> Pat ()
qvar :: ModuleName () -> Name () -> Exp ()
op :: Name () -> QOp ()
sym :: String -> Name ()
name :: String -> Name ()
exactPrint :: ExactP ast => ast SrcSpanInfo -> [Comment] -> String
class Annotated ast => ExactP (ast :: Type -> Type)
unListOf :: ListOf a -> [a]
getTopPragmas :: String -> ParseResult [ModulePragma SrcSpanInfo]
parseImportDeclWithComments :: ParseMode -> String -> ParseResult (ImportDecl SrcSpanInfo, [Comment])
parseImportDeclWithMode :: ParseMode -> String -> ParseResult (ImportDecl SrcSpanInfo)
parseImportDecl :: String -> ParseResult (ImportDecl SrcSpanInfo)
parseStmtWithComments :: ParseMode -> String -> ParseResult (Stmt SrcSpanInfo, [Comment])
parseStmtWithMode :: ParseMode -> String -> ParseResult (Stmt SrcSpanInfo)
parseStmt :: String -> ParseResult (Stmt SrcSpanInfo)
parseTypeWithComments :: ParseMode -> String -> ParseResult (Type SrcSpanInfo, [Comment])
parseTypeWithMode :: ParseMode -> String -> ParseResult (Type SrcSpanInfo)
parseType :: String -> ParseResult (Type SrcSpanInfo)
parseDeclWithComments :: ParseMode -> String -> ParseResult (Decl SrcSpanInfo, [Comment])
parseDeclWithMode :: ParseMode -> String -> ParseResult (Decl SrcSpanInfo)
parseDecl :: String -> ParseResult (Decl SrcSpanInfo)
parsePatWithComments :: ParseMode -> String -> ParseResult (Pat SrcSpanInfo, [Comment])
parsePatWithMode :: ParseMode -> String -> ParseResult (Pat SrcSpanInfo)
parsePat :: String -> ParseResult (Pat SrcSpanInfo)
parseExpWithComments :: ParseMode -> String -> ParseResult (Exp SrcSpanInfo, [Comment])
parseExpWithMode :: ParseMode -> String -> ParseResult (Exp SrcSpanInfo)
parseExp :: String -> ParseResult (Exp SrcSpanInfo)
parseModuleWithComments :: ParseMode -> String -> ParseResult (Module SrcSpanInfo, [Comment])
parseModuleWithMode :: ParseMode -> String -> ParseResult (Module SrcSpanInfo)
parseModule :: String -> ParseResult (Module SrcSpanInfo)
data PragmasAndModuleName l = PragmasAndModuleName l [ModulePragma l] (Maybe (ModuleName l))
data PragmasAndModuleHead l = PragmasAndModuleHead l [ModulePragma l] (Maybe (ModuleHead l))
data ModuleHeadAndImports l = ModuleHeadAndImports l [ModulePragma l] (Maybe (ModuleHead l)) [ImportDecl l]
newtype NonGreedy a = NonGreedy {
- unNonGreedy :: a
}
data ListOf a = ListOf SrcSpanInfo [a]
lexTokenStreamWithMode :: ParseMode -> String -> ParseResult [Loc Token]
lexTokenStream :: String -> ParseResult [Loc Token]
data Token
- = VarId String
- | LabelVarId String
- | QVarId (String, String)
- | IDupVarId String
- | ILinVarId String
- | ConId String
- | QConId (String, String)
- | DVarId [String]
- | VarSym String
- | ConSym String
- | QVarSym (String, String)
- | QConSym (String, String)
- | IntTok (Integer, String)
- | FloatTok (Rational, String)
- | Character (Char, String)
- | StringTok (String, String)
- | IntTokHash (Integer, String)
- | WordTokHash (Integer, String)
- | FloatTokHash (Rational, String)
- | DoubleTokHash (Rational, String)
- | CharacterHash (Char, String)
- | StringHash (String, String)
- | LeftParen
- | RightParen
- | LeftHashParen
- | RightHashParen
- | SemiColon
- | LeftCurly
- | RightCurly
- | VRightCurly
- | LeftSquare
- | RightSquare
- | ParArrayLeftSquare
- | ParArrayRightSquare
- | Comma
- | Underscore
- | BackQuote
- | Dot
- | DotDot
- | Colon
- | QuoteColon
- | DoubleColon
- | Equals
- | Backslash
- | Bar
- | LeftArrow
- | RightArrow
- | At
- | TApp
- | Tilde
- | DoubleArrow
- | Minus
- | Exclamation
- | Star
- | LeftArrowTail
- | RightArrowTail
- | LeftDblArrowTail
- | RightDblArrowTail
- | THExpQuote
- | THPatQuote
- | THDecQuote
- | THTypQuote
- | THCloseQuote
- | THIdEscape String
- | THParenEscape
- | THVarQuote
- | THTyQuote
- | THQuasiQuote (String, String)
- | RPGuardOpen
- | RPGuardClose
- | RPCAt
- | XCodeTagOpen
- | XCodeTagClose
- | XStdTagOpen
- | XStdTagClose
- | XCloseTagOpen
- | XEmptyTagClose
- | XChildTagOpen
- | XPCDATA String
- | XRPatOpen
- | XRPatClose
- | PragmaEnd
- | RULES
- | INLINE Bool
- | INLINE_CONLIKE
- | SPECIALISE
- | SPECIALISE_INLINE Bool
- | SOURCE
- | DEPRECATED
- | WARNING
- | SCC
- | GENERATED
- | CORE
- | UNPACK
- | NOUNPACK
- | OPTIONS (Maybe String, String)
- | LANGUAGE
- | ANN
- | MINIMAL
- | NO_OVERLAP
- | OVERLAP
- | OVERLAPPING
- | OVERLAPPABLE
- | OVERLAPS
- | INCOHERENT
- | COMPLETE
- | KW_As
- | KW_By
- | KW_Case
- | KW_Class
- | KW_Data
- | KW_Default
- | KW_Deriving
- | KW_Do
- | KW_MDo
- | KW_Else
- | KW_Family
- | KW_Forall
- | KW_Group
- | KW_Hiding
- | KW_If
- | KW_Import
- | KW_In
- | KW_Infix
- | KW_InfixL
- | KW_InfixR
- | KW_Instance
- | KW_Let
- | KW_Module
- | KW_NewType
- | KW_Of
- | KW_Proc
- | KW_Rec
- | KW_Role
- | KW_Then
- | KW_Type
- | KW_Using
- | KW_Where
- | KW_Qualified
- | KW_Pattern
- | KW_Stock
- | KW_Anyclass
- | KW_Foreign
- | KW_Export
- | KW_Safe
- | KW_Unsafe
- | KW_Threadsafe
- | KW_Interruptible
- | KW_StdCall
- | KW_CCall
- | KW_CPlusPlus
- | KW_DotNet
- | KW_Jvm
- | KW_Js
- | KW_JavaScript
- | KW_CApi
- | EOF
defaultParseMode :: ParseMode
fromParseResult :: ParseResult a -> a
class Parseable ast where
- parse :: String -> ParseResult ast
- parseWithMode :: ParseMode -> String -> ParseResult ast
- parseWithComments :: ParseMode -> String -> ParseResult (ast, [Comment])
data ParseResult a
- = ParseOk a
- | ParseFailed SrcLoc String
data ParseMode = ParseMode {
- parseFilename :: String
- baseLanguage :: Language
- extensions :: [Extension]
- ignoreLanguagePragmas :: Bool
- ignoreLinePragmas :: Bool
- fixities :: Maybe [Fixity]
- ignoreFunctionArity :: Bool
}
associateHaddock :: (Annotated ast, Traversable ast) => (ast SrcSpanInfo, [Comment]) -> ast (SrcSpanInfo, [Comment])
data Comment = Comment Bool SrcSpan String
data UnknownPragma = UnknownPragma SrcSpan String
infix_ :: Int -> [String] -> [Fixity]
infixl_ :: Int -> [String] -> [Fixity]
infixr_ :: Int -> [String] -> [Fixity]
baseFixities :: [Fixity]
preludeFixities :: [Fixity]
data Fixity = Fixity (Assoc ()) Int (QName ())
class AppFixity (ast :: Type -> Type) where
- applyFixities :: Monad m => [Fixity] -> ast SrcSpanInfo -> m (ast SrcSpanInfo)
prettyPrimWithMode :: Pretty a => PPHsMode -> a -> Doc
prettyPrim :: Pretty a => a -> Doc
prettyPrint :: Pretty a => a -> String
prettyPrintWithMode :: Pretty a => PPHsMode -> a -> String
prettyPrintStyleMode :: Pretty a => Style -> PPHsMode -> a -> String
defaultMode :: PPHsMode
data PPLayout
- = PPOffsideRule
- | PPSemiColon
- | PPInLine
- | PPNoLayout
type Indent = Int
data PPHsMode = PPHsMode {
- classIndent :: Indent
- doIndent :: Indent
- multiIfIndent :: Indent
- caseIndent :: Indent
- letIndent :: Indent
- whereIndent :: Indent
- onsideIndent :: Indent
- spacing :: Bool
- layout :: PPLayout
- linePragmas :: Bool
}
class Pretty a
(=~=) :: (Annotated a, Eq (a ())) => a l1 -> a l2 -> Bool
tuple_tycon :: l -> Boxed -> Int -> Type l
unboxed_singleton_tycon :: l -> Type l
list_tycon :: l -> Type l
fun_tycon :: l -> Type l
unit_tycon :: l -> Type l
tuple_tycon_name :: l -> Boxed -> Int -> QName l
unboxed_singleton_tycon_name :: l -> QName l
list_tycon_name :: l -> QName l
fun_tycon_name :: l -> QName l
unit_tycon_name :: l -> QName l
anyclass_name :: l -> Name l
stock_name :: l -> Name l
role_name :: l -> Name l
family_name :: l -> Name l
forall_name :: l -> Name l
capi_name :: l -> Name l
javascript_name :: l -> Name l
js_name :: l -> Name l
jvm_name :: l -> Name l
dotnet_name :: l -> Name l
cplusplus_name :: l -> Name l
ccall_name :: l -> Name l
stdcall_name :: l -> Name l
threadsafe_name :: l -> Name l
interruptible_name :: l -> Name l
unsafe_name :: l -> Name l
safe_name :: l -> Name l
export_name :: l -> Name l
hole_name :: l -> QName l
star_name :: l -> Name l
dot_name :: l -> Name l
bang_name :: l -> Name l
minus_name :: l -> Name l
hiding_name :: l -> Name l
qualified_name :: l -> Name l
as_name :: l -> Name l
unboxed_singleton_con :: l -> Exp l
tuple_con :: l -> Boxed -> Int -> Exp l
unit_con :: l -> Exp l
unboxed_singleton_con_name :: l -> QName l
list_cons_name :: l -> QName l
tuple_con_name :: l -> Boxed -> Int -> QName l
unit_con_name :: l -> QName l
main_name :: l -> Name l
main_mod :: l -> ModuleName l
prelude_mod :: l -> ModuleName l
data ModuleName l = ModuleName l String
data SpecialCon l
- = UnitCon l
- | ListCon l
- | FunCon l
- | TupleCon l Boxed Int
- | Cons l
- | UnboxedSingleCon l
- | ExprHole l
data QName l
- = Qual l (ModuleName l) (Name l)
- | UnQual l (Name l)
- | Special l (SpecialCon l)
data Name l
- = Ident l String
- | Symbol l String
data IPName l
- = IPDup l String
- | IPLin l String
data QOp l
- = QVarOp l (QName l)
- | QConOp l (QName l)
data Op l
- = VarOp l (Name l)
- | ConOp l (Name l)
data CName l
- = VarName l (Name l)
- | ConName l (Name l)
data Module l
- = Module l (Maybe (ModuleHead l)) [ModulePragma l] [ImportDecl l] [Decl l]
- | XmlPage l (ModuleName l) [ModulePragma l] (XName l) [XAttr l] (Maybe (Exp l)) [Exp l]
- | XmlHybrid l (Maybe (ModuleHead l)) [ModulePragma l] [ImportDecl l] [Decl l] (XName l) [XAttr l] (Maybe (Exp l)) [Exp l]
data ModuleHead l = ModuleHead l (ModuleName l) (Maybe (WarningText l)) (Maybe (ExportSpecList l))
data ExportSpecList l = ExportSpecList l [ExportSpec l]
data ExportSpec l
- = EVar l (QName l)
- | EAbs l (Namespace l) (QName l)
- | EThingWith l (EWildcard l) (QName l) [CName l]
- | EModuleContents l (ModuleName l)
data EWildcard l
- = NoWildcard l
- | EWildcard l Int
data Namespace l
- = NoNamespace l
- | TypeNamespace l
- | PatternNamespace l
data ImportDecl l = ImportDecl {
- importAnn :: l
- importModule :: ModuleName l
- importQualified :: Bool
- importSrc :: Bool
- importSafe :: Bool
- importPkg :: Maybe String
- importAs :: Maybe (ModuleName l)
- importSpecs :: Maybe (ImportSpecList l)
}
data ImportSpecList l = ImportSpecList l Bool [ImportSpec l]
data ImportSpec l
- = IVar l (Name l)
- | IAbs l (Namespace l) (Name l)
- | IThingAll l (Name l)
- | IThingWith l (Name l) [CName l]
data Assoc l
- = AssocNone l
- | AssocLeft l
- | AssocRight l
data Decl l
- = TypeDecl l (DeclHead l) (Type l)
- | TypeFamDecl l (DeclHead l) (Maybe (ResultSig l)) (Maybe (InjectivityInfo l))
- | ClosedTypeFamDecl l (DeclHead l) (Maybe (ResultSig l)) (Maybe (InjectivityInfo l)) [TypeEqn l]
- | DataDecl l (DataOrNew l) (Maybe (Context l)) (DeclHead l) [QualConDecl l] [Deriving l]
- | GDataDecl l (DataOrNew l) (Maybe (Context l)) (DeclHead l) (Maybe (Kind l)) [GadtDecl l] [Deriving l]
- | DataFamDecl l (Maybe (Context l)) (DeclHead l) (Maybe (ResultSig l))
- | TypeInsDecl l (Type l) (Type l)
- | DataInsDecl l (DataOrNew l) (Type l) [QualConDecl l] [Deriving l]
- | GDataInsDecl l (DataOrNew l) (Type l) (Maybe (Kind l)) [GadtDecl l] [Deriving l]
- | ClassDecl l (Maybe (Context l)) (DeclHead l) [FunDep l] (Maybe [ClassDecl l])
- | InstDecl l (Maybe (Overlap l)) (InstRule l) (Maybe [InstDecl l])
- | DerivDecl l (Maybe (DerivStrategy l)) (Maybe (Overlap l)) (InstRule l)
- | InfixDecl l (Assoc l) (Maybe Int) [Op l]
- | DefaultDecl l [Type l]
- | SpliceDecl l (Exp l)
- | TypeSig l [Name l] (Type l)
- | PatSynSig l [Name l] (Maybe [TyVarBind l]) (Maybe (Context l)) (Maybe (Context l)) (Type l)
- | FunBind l [Match l]
- | PatBind l (Pat l) (Rhs l) (Maybe (Binds l))
- | PatSyn l (Pat l) (Pat l) (PatternSynDirection l)
- | ForImp l (CallConv l) (Maybe (Safety l)) (Maybe String) (Name l) (Type l)
- | ForExp l (CallConv l) (Maybe String) (Name l) (Type l)
- | RulePragmaDecl l [Rule l]
- | DeprPragmaDecl l [([Name l], String)]
- | WarnPragmaDecl l [([Name l], String)]
- | InlineSig l Bool (Maybe (Activation l)) (QName l)
- | InlineConlikeSig l (Maybe (Activation l)) (QName l)
- | SpecSig l (Maybe (Activation l)) (QName l) [Type l]
- | SpecInlineSig l Bool (Maybe (Activation l)) (QName l) [Type l]
- | InstSig l (InstRule l)
- | AnnPragma l (Annotation l)
- | MinimalPragma l (Maybe (BooleanFormula l))
- | RoleAnnotDecl l (QName l) [Role l]
- | CompletePragma l [Name l] (Maybe (QName l))
data PatternSynDirection l
- = Unidirectional
- | ImplicitBidirectional
- | ExplicitBidirectional l [Decl l]
data TypeEqn l = TypeEqn l (Type l) (Type l)
data Annotation l
- = Ann l (Name l) (Exp l)
- | TypeAnn l (Name l) (Exp l)
- | ModuleAnn l (Exp l)
data BooleanFormula l
- = VarFormula l (Name l)
- | AndFormula l [BooleanFormula l]
- | OrFormula l [BooleanFormula l]
- | ParenFormula l (BooleanFormula l)
data Role l
- = Nominal l
- | Representational l
- | Phantom l
- | RoleWildcard l
data DataOrNew l
- = DataType l
- | NewType l
data InjectivityInfo l = InjectivityInfo l (Name l) [Name l]
data ResultSig l
- = KindSig l (Kind l)
- | TyVarSig l (TyVarBind l)
data DeclHead l
- = DHead l (Name l)
- | DHInfix l (TyVarBind l) (Name l)
- | DHParen l (DeclHead l)
- | DHApp l (DeclHead l) (TyVarBind l)
data InstRule l
- = IRule l (Maybe [TyVarBind l]) (Maybe (Context l)) (InstHead l)
- | IParen l (InstRule l)
data InstHead l
- = IHCon l (QName l)
- | IHInfix l (Type l) (QName l)
- | IHParen l (InstHead l)
- | IHApp l (InstHead l) (Type l)
data Deriving l = Deriving l (Maybe (DerivStrategy l)) [InstRule l]
data DerivStrategy l
- = DerivStock l
- | DerivAnyclass l
- | DerivNewtype l
data Binds l
- = BDecls l [Decl l]
- | IPBinds l [IPBind l]
data IPBind l = IPBind l (IPName l) (Exp l)
data Match l
- = Match l (Name l) [Pat l] (Rhs l) (Maybe (Binds l))
- | InfixMatch l (Pat l) (Name l) [Pat l] (Rhs l) (Maybe (Binds l))
data QualConDecl l = QualConDecl l (Maybe [TyVarBind l]) (Maybe (Context l)) (ConDecl l)
data ConDecl l
- = ConDecl l (Name l) [Type l]
- | InfixConDecl l (Type l) (Name l) (Type l)
- | RecDecl l (Name l) [FieldDecl l]
data GadtDecl l = GadtDecl l (Name l) (Maybe [FieldDecl l]) (Type l)
data ClassDecl l
- = ClsDecl l (Decl l)
- | ClsDataFam l (Maybe (Context l)) (DeclHead l) (Maybe (ResultSig l))
- | ClsTyFam l (DeclHead l) (Maybe (ResultSig l)) (Maybe (InjectivityInfo l))
- | ClsTyDef l (TypeEqn l)
- | ClsDefSig l (Name l) (Type l)
data InstDecl l
- = InsDecl l (Decl l)
- | InsType l (Type l) (Type l)
- | InsData l (DataOrNew l) (Type l) [QualConDecl l] [Deriving l]
- | InsGData l (DataOrNew l) (Type l) (Maybe (Kind l)) [GadtDecl l] [Deriving l]
data BangType l
- = BangedTy l
- | LazyTy l
- | NoStrictAnnot l
data Unpackedness l
- = Unpack l
- | NoUnpack l
- | NoUnpackPragma l
data Rhs l
- = UnGuardedRhs l (Exp l)
- | GuardedRhss l [GuardedRhs l]
data GuardedRhs l = GuardedRhs l [Stmt l] (Exp l)
data Type l
- = TyForall l (Maybe [TyVarBind l]) (Maybe (Context l)) (Type l)
- | TyFun l (Type l) (Type l)
- | TyTuple l Boxed [Type l]
- | TyUnboxedSum l [Type l]
- | TyList l (Type l)
- | TyParArray l (Type l)
- | TyApp l (Type l) (Type l)
- | TyVar l (Name l)
- | TyCon l (QName l)
- | TyParen l (Type l)
- | TyInfix l (Type l) (MaybePromotedName l) (Type l)
- | TyKind l (Type l) (Kind l)
- | TyPromoted l (Promoted l)
- | TyEquals l (Type l) (Type l)
- | TySplice l (Splice l)
- | TyBang l (BangType l) (Unpackedness l) (Type l)
- | TyWildCard l (Maybe (Name l))
- | TyQuasiQuote l String String
data MaybePromotedName l
- = PromotedName l (QName l)
- | UnpromotedName l (QName l)
data Promoted l
- = PromotedInteger l Integer String
- | PromotedString l String String
- | PromotedCon l Bool (QName l)
- | PromotedList l Bool [Type l]
- | PromotedTuple l [Type l]
- | PromotedUnit l
data Boxed
- = Boxed
- | Unboxed
data TyVarBind l
- = KindedVar l (Name l) (Kind l)
- | UnkindedVar l (Name l)
data Kind l
- = KindStar l
- | KindFn l (Kind l) (Kind l)
- | KindParen l (Kind l)
- | KindVar l (QName l)
- | KindApp l (Kind l) (Kind l)
- | KindTuple l [Kind l]
- | KindList l (Kind l)
data FunDep l = FunDep l [Name l] [Name l]
data Context l
- = CxSingle l (Asst l)
- | CxTuple l [Asst l]
- | CxEmpty l
data Asst l
- = ClassA l (QName l) [Type l]
- | AppA l (Name l) [Type l]
- | InfixA l (Type l) (QName l) (Type l)
- | IParam l (IPName l) (Type l)
- | EqualP l (Type l) (Type l)
- | ParenA l (Asst l)
- | WildCardA l (Maybe (Name l))
data Literal l
- = Char l Char String
- | Frac l Rational String
- | PrimInt l Integer String
- | PrimWord l Integer String
- | PrimFloat l Rational String
- | PrimDouble l Rational String
- | PrimChar l Char String
- | PrimString l String String
data Sign l
- = Signless l
- | Negative l
data Exp l
- = Var l (QName l)
- | OverloadedLabel l String
- | IPVar l (IPName l)
- | Con l (QName l)
- | Lit l (Literal l)
- | InfixApp l (Exp l) (QOp l) (Exp l)
- | NegApp l (Exp l)
- | Lambda l [Pat l] (Exp l)
- | Let l (Binds l) (Exp l)
- | If l (Exp l) (Exp l) (Exp l)
- | MultiIf l [GuardedRhs l]
- | Case l (Exp l) [Alt l]
- | Do l [Stmt l]
- | MDo l [Stmt l]
- | Tuple l Boxed [Exp l]
- | UnboxedSum l Int Int (Exp l)
- | TupleSection l Boxed [Maybe (Exp l)]
- | ParArray l [Exp l]
- | Paren l (Exp l)
- | LeftSection l (Exp l) (QOp l)
- | RightSection l (QOp l) (Exp l)
- | RecConstr l (QName l) [FieldUpdate l]
- | RecUpdate l (Exp l) [FieldUpdate l]
- | EnumFrom l (Exp l)
- | EnumFromTo l (Exp l) (Exp l)
- | EnumFromThen l (Exp l) (Exp l)
- | EnumFromThenTo l (Exp l) (Exp l) (Exp l)
- | ParArrayFromTo l (Exp l) (Exp l)
- | ParArrayFromThenTo l (Exp l) (Exp l) (Exp l)
- | ListComp l (Exp l) [QualStmt l]
- | ParComp l (Exp l) [[QualStmt l]]
- | ParArrayComp l (Exp l) [[QualStmt l]]
- | ExpTypeSig l (Exp l) (Type l)
- | VarQuote l (QName l)
- | TypQuote l (QName l)
- | BracketExp l (Bracket l)
- | SpliceExp l (Splice l)
- | QuasiQuote l String String
- | TypeApp l (Type l)
- | XTag l (XName l) [XAttr l] (Maybe (Exp l)) [Exp l]
- | XETag l (XName l) [XAttr l] (Maybe (Exp l))
- | XPcdata l String
- | XExpTag l (Exp l)
- | XChildTag l [Exp l]
- | CorePragma l String (Exp l)
- | SCCPragma l String (Exp l)
- | GenPragma l String (Int, Int) (Int, Int) (Exp l)
- | Proc l (Pat l) (Exp l)
- | LeftArrApp l (Exp l) (Exp l)
- | RightArrApp l (Exp l) (Exp l)
- | LeftArrHighApp l (Exp l) (Exp l)
- | RightArrHighApp l (Exp l) (Exp l)
- | LCase l [Alt l]
data XName l
- = XName l String
- | XDomName l String String
data XAttr l = XAttr l (XName l) (Exp l)
data Bracket l
- = ExpBracket l (Exp l)
- | PatBracket l (Pat l)
- | TypeBracket l (Type l)
- | DeclBracket l [Decl l]
data Splice l
- = IdSplice l String
- | ParenSplice l (Exp l)
data Safety l
- = PlayRisky l
- | PlaySafe l Bool
- | PlayInterruptible l
data CallConv l
- = StdCall l
- | CCall l
- | CPlusPlus l
- | DotNet l
- | Jvm l
- | Js l
- | JavaScript l
- | CApi l
data ModulePragma l
- = LanguagePragma l [Name l]
- | OptionsPragma l (Maybe Tool) String
- | AnnModulePragma l (Annotation l)
data Tool
- = GHC
- | HUGS
- | NHC98
- | YHC
- | HADDOCK
- | UnknownTool String
data Overlap l
- = NoOverlap l
- | Overlap l
- | Overlapping l
- | Overlaps l
- | Overlappable l
- | Incoherent l
data Activation l
- = ActiveFrom l Int
- | ActiveUntil l Int
data Rule l = Rule l String (Maybe (Activation l)) (Maybe [RuleVar l]) (Exp l) (Exp l)
data RuleVar l
- = RuleVar l (Name l)
- | TypedRuleVar l (Name l) (Type l)
data WarningText l
- = DeprText l String
- | WarnText l String
data Pat l
- = PVar l (Name l)
- | PLit l (Sign l) (Literal l)
- | PNPlusK l (Name l) Integer
- | PInfixApp l (Pat l) (QName l) (Pat l)
- | PApp l (QName l) [Pat l]
- | PTuple l Boxed [Pat l]
- | PUnboxedSum l Int Int (Pat l)
- | PList l [Pat l]
- | PParen l (Pat l)
- | PRec l (QName l) [PatField l]
- | PAsPat l (Name l) (Pat l)
- | PWildCard l
- | PIrrPat l (Pat l)
- | PatTypeSig l (Pat l) (Type l)
- | PViewPat l (Exp l) (Pat l)
- | PRPat l [RPat l]
- | PXTag l (XName l) [PXAttr l] (Maybe (Pat l)) [Pat l]
- | PXETag l (XName l) [PXAttr l] (Maybe (Pat l))
- | PXPcdata l String
- | PXPatTag l (Pat l)
- | PXRPats l [RPat l]
- | PSplice l (Splice l)
- | PQuasiQuote l String String
- | PBangPat l (Pat l)
data PXAttr l = PXAttr l (XName l) (Pat l)
data RPatOp l
- = RPStar l
- | RPStarG l
- | RPPlus l
- | RPPlusG l
- | RPOpt l
- | RPOptG l
data RPat l
- = RPOp l (RPat l) (RPatOp l)
- | RPEither l (RPat l) (RPat l)
- | RPSeq l [RPat l]
- | RPGuard l (Pat l) [Stmt l]
- | RPCAs l (Name l) (RPat l)
- | RPAs l (Name l) (RPat l)
- | RPParen l (RPat l)
- | RPPat l (Pat l)
data PatField l
- = PFieldPat l (QName l) (Pat l)
- | PFieldPun l (QName l)
- | PFieldWildcard l
data Stmt l
- = Generator l (Pat l) (Exp l)
- | Qualifier l (Exp l)
- | LetStmt l (Binds l)
- | RecStmt l [Stmt l]
data QualStmt l
- = QualStmt l (Stmt l)
- | ThenTrans l (Exp l)
- | ThenBy l (Exp l) (Exp l)
- | GroupBy l (Exp l)
- | GroupUsing l (Exp l)
- | GroupByUsing l (Exp l) (Exp l)
data FieldUpdate l
- = FieldUpdate l (QName l) (Exp l)
- | FieldPun l (QName l)
- | FieldWildcard l
data Alt l = Alt l (Pat l) (Rhs l) (Maybe (Binds l))
class Functor ast => Annotated (ast :: Type -> Type) where
- ann :: ast l -> l
- amap :: (l -> l) -> ast l -> ast l
(<^^>) :: SrcSpan -> SrcSpan -> SrcSpanInfo
(<**) :: SrcSpanInfo -> [SrcSpan] -> SrcSpanInfo
(<?+>) :: Maybe SrcSpanInfo -> SrcSpanInfo -> SrcSpanInfo
(<+?>) :: SrcSpanInfo -> Maybe SrcSpanInfo -> SrcSpanInfo
(<++>) :: SrcSpanInfo -> SrcSpanInfo -> SrcSpanInfo
combSpanMaybe :: SrcSpanInfo -> Maybe SrcSpanInfo -> SrcSpanInfo
combSpanInfo :: SrcSpanInfo -> SrcSpanInfo -> SrcSpanInfo
infoSpan :: SrcSpan -> [SrcSpan] -> SrcSpanInfo
noSrcSpan :: SrcSpanInfo
noInfoSpan :: SrcSpan -> SrcSpanInfo
spanSize :: SrcSpan -> (Int, Int)
isNullSpan :: SrcSpan -> Bool
mergeSrcSpan :: SrcSpan -> SrcSpan -> SrcSpan
mkSrcSpan :: SrcLoc -> SrcLoc -> SrcSpan
srcSpanEnd :: SrcSpan -> (Int, Int)
srcSpanStart :: SrcSpan -> (Int, Int)
noLoc :: SrcLoc
data SrcLoc = SrcLoc {
- srcFilename :: String
- srcLine :: Int
- srcColumn :: Int
}
data SrcSpan = SrcSpan {
- srcSpanFilename :: String
- srcSpanStartLine :: Int
- srcSpanStartColumn :: Int
- srcSpanEndLine :: Int
- srcSpanEndColumn :: Int
}
data Loc a = Loc {
- loc :: SrcSpan
- unLoc :: a
}
data SrcSpanInfo = SrcSpanInfo {
- srcInfoSpan :: SrcSpan
- srcInfoPoints :: [SrcSpan]
}
class SrcInfo si where
- toSrcInfo :: SrcLoc -> [SrcSpan] -> SrcLoc -> si
- fromSrcInfo :: SrcSpanInfo -> si
- getPointLoc :: si -> SrcLoc
- fileName :: si -> String
- startLine :: si -> Int
- startColumn :: si -> Int
toExtensionList :: Language -> [Extension] -> [KnownExtension]
prettyExtension :: Extension -> String
parseExtension :: String -> Extension
classifyExtension :: String -> Extension
deprecatedExtensions :: [(Extension, Maybe Extension)]
knownExtensions :: [Extension]
ghcDefault :: [Extension]
glasgowExts :: [Extension]
impliesExts :: [KnownExtension] -> [KnownExtension]
prettyLanguage :: Language -> String
classifyLanguage :: String -> Language
knownLanguages :: [Language]
data Language
- = Haskell98
- | Haskell2010
- | HaskellAllDisabled
- | UnknownLanguage String
data Extension
- = EnableExtension KnownExtension
- | DisableExtension KnownExtension
- | UnknownExtension String
data KnownExtension
- = OverlappingInstances
- | UndecidableInstances
- | IncoherentInstances
- | InstanceSigs
- | DoRec
- | RecursiveDo
- | ParallelListComp
- | MultiParamTypeClasses
- | MonomorphismRestriction
- | FunctionalDependencies
- | Rank2Types
- | RankNTypes
- | PolymorphicComponents
- | ExistentialQuantification
- | ScopedTypeVariables
- | PatternSignatures
- | ImplicitParams
- | FlexibleContexts
- | FlexibleInstances
- | EmptyDataDecls
- | CPP
- | KindSignatures
- | BangPatterns
- | TypeSynonymInstances
- | TemplateHaskell
- | ForeignFunctionInterface
- | Arrows
- | Generics
- | ImplicitPrelude
- | NamedFieldPuns
- | PatternGuards
- | GeneralizedNewtypeDeriving
- | DeriveAnyClass
- | ExtensibleRecords
- | RestrictedTypeSynonyms
- | HereDocuments
- | MagicHash
- | BinaryLiterals
- | TypeFamilies
- | StandaloneDeriving
- | UnicodeSyntax
- | UnliftedFFITypes
- | LiberalTypeSynonyms
- | TypeOperators
- | ParallelArrays
- | RecordWildCards
- | RecordPuns
- | DisambiguateRecordFields
- | OverloadedStrings
- | GADTs
- | MonoPatBinds
- | RelaxedPolyRec
- | ExtendedDefaultRules
- | UnboxedTuples
- | DeriveDataTypeable
- | ConstrainedClassMethods
- | PackageImports
- | LambdaCase
- | EmptyCase
- | ImpredicativeTypes
- | NewQualifiedOperators
- | PostfixOperators
- | QuasiQuotes
- | TransformListComp
- | ViewPatterns
- | XmlSyntax
- | RegularPatterns
- | TupleSections
- | GHCForeignImportPrim
- | NPlusKPatterns
- | DoAndIfThenElse
- | RebindableSyntax
- | ExplicitForAll
- | DatatypeContexts
- | MonoLocalBinds
- | DeriveFunctor
- | DeriveGeneric
- | DeriveTraversable
- | DeriveFoldable
- | NondecreasingIndentation
- | InterruptibleFFI
- | CApiFFI
- | JavaScriptFFI
- | ExplicitNamespaces
- | DataKinds
- | PolyKinds
- | MultiWayIf
- | SafeImports
- | Safe
- | Trustworthy
- | DefaultSignatures
- | ConstraintKinds
- | RoleAnnotations
- | PatternSynonyms
- | PartialTypeSignatures
- | NamedWildCards
- | TypeApplications
- | TypeFamilyDependencies
- | OverloadedLabels
- | DerivingStrategies
- | UnboxedSums
data Mode
- = PageMode
- | ZigZagMode
- | LeftMode
- | OneLineMode
data Style = Style {
- mode :: Mode
- lineLength :: Int
- ribbonsPerLine :: Float
}
style :: Style
type FullDataDecl = (ModuleName (), DataDecl)
type FieldDecl = [(String, Type ())]
type CtorDecl = Either (QualConDecl ()) (GadtDecl ())
type DataDecl = Decl ()
(?) :: Bool -> a -> a -> a
foralls :: Type () -> Type ()
tyApps :: Type () -> [Type ()] -> Type ()
fromTyApps :: Type () -> (Type (), [Type ()])
fromTyTuple :: Type l -> [Type l]
fromTyParen :: Type () -> Type ()
fromTyParens :: Type () -> Type ()
tyRoot :: Type () -> String
isTyFun :: Type () -> Bool
isTyParen :: Type l -> Bool
fromTyList :: Type l -> Maybe (Type l)
(~=) :: Pretty a => a -> String -> Bool
appP :: Exp () -> Exp () -> Exp ()
simplify :: Data a => a -> a
isGuardFalse :: Match l -> Bool
rename :: QName () -> QName ()
isAtom :: Exp l -> Bool
paren :: Exp () -> Exp ()
sl :: SrcLoc
noSl :: Data from => from -> from
isIdent :: [Char] -> Bool
title :: [Char] -> [Char]
qname :: String -> QName ()
var :: String -> Exp ()
con :: String -> Exp ()
tyVar :: String -> Type ()
tyVarBind :: String -> TyVarBind ()
tyCon :: String -> Type ()
pVar :: String -> Pat ()
qvop :: String -> QOp ()
dataDeclType :: DataDecl -> Type ()
dataDeclFields :: DataDecl -> [String]
moduleName :: Module l -> ModuleName l
moduleDecls :: Module l -> [Decl l]
moduleImports :: Module l -> [ImportDecl l]
modulePragmas :: Module l -> [ModulePragma l]
showDecls :: Pretty a => [a] -> String
tyApp :: Type () -> [Type ()] -> Type ()
tyFun :: [Type ()] -> Type ()
apps :: Exp () -> [Exp ()] -> Exp ()
bind :: String -> [Pat ()] -> Exp () -> Decl ()
binds :: String -> [([Pat ()], Exp ())] -> Decl ()
isDataDecl :: Decl () -> Bool
dataDeclName :: DataDecl -> String
fromDeclHead :: DeclHead a -> (Name a, [TyVarBind a])
fromIParen :: InstRule a -> InstRule a
fromInstHead :: InstHead a -> (QName a, [Type a])
dataDeclVars :: DataDecl -> [String]
dataDeclVarsStar :: DataDecl -> [String]
dataDeclArity :: DataDecl -> Int
dataDeclCtors :: DataDecl -> [CtorDecl]
ctorDeclName :: CtorDecl -> String
ctorDeclName' :: CtorDecl -> Name ()
ctorDeclFields :: CtorDecl -> FieldDecl
ctorDeclArity :: CtorDecl -> Int
declName :: Decl () -> String

Documentation

data Output Source #

Constructors

OString String
OInt Integer
OApp String [Output]
OList [Output]
OIgnore
OCustom String

Instances

Eq Output Source #
Instance details Defined in Data.Derive.DSL.HSE Methods (==) :: Output -> Output -> Bool # (/=) :: Output -> Output -> Bool #
Data Output Source #
Instance details Defined in Data.Derive.DSL.HSE Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Output -> c Output # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c Output # toConstr :: Output -> Constr # dataTypeOf :: Output -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c Output) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c Output) # gmapT :: (forall b. Data b => b -> b) -> Output -> Output # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Output -> r # gmapQr :: (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Output -> r # gmapQ :: (forall d. Data d => d -> u) -> Output -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Output -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Output -> m Output # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Output -> m Output # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Output -> m Output #
Show Output Source #
Instance details Defined in Data.Derive.DSL.HSE Methods showsPrec :: Int -> Output -> ShowS # show :: Output -> String # showList :: [Output] -> ShowS #

type Out = [Decl ()] Source #

type Ctor = CtorDecl Source #

type Input = DataDecl Source #

sample :: Input Source #

outEq :: Out -> Out -> Bool Source #

showOut :: Pretty a => [a] -> String Source #

dataName :: DataDecl -> String Source #

dataVars :: DataDecl -> Int Source #

dataCtors :: DataDecl -> [CtorDecl] Source #

ctorName :: CtorDecl -> String Source #

ctorArity :: CtorDecl -> Integer Source #

ctorIndex :: Input -> Ctor -> Integer Source #

toInput :: DataDecl -> Input Source #

toOutput :: Data a => a -> Output Source #

fromOutput :: Data a => Output -> a Source #

coerce :: (Typeable a1, Typeable a2) => a1 -> a2 Source #

readCon :: DataType -> [Char] -> Constr Source #

out :: Data a => a -> Output Source #

fromState :: State a x -> x Source #

readExtensions :: String -> Maybe (Maybe Language, [Extension]) #

Gather the extensions declared in LANGUAGE pragmas at the top of the file. Returns Nothing if the parse of the pragmas fails.

parseFileContentsWithComments :: ParseMode -> String -> ParseResult (Module SrcSpanInfo, [Comment]) #

parseFileContentsWithMode :: ParseMode -> String -> ParseResult (Module SrcSpanInfo) #

Parse a source file from a string using a custom parse mode.

parseFileContentsWithExts :: [Extension] -> String -> ParseResult (Module SrcSpanInfo) #

Parse a source file from a string, with an extra set of extensions to know about on top of what the file itself declares.

parseFileContents :: String -> ParseResult (Module SrcSpanInfo) #

Parse a source file from a string using the default parse mode.

parseFileWithCommentsAndPragmas :: ParseMode -> FilePath -> IO (ParseResult (Module SrcSpanInfo, [Comment], [UnknownPragma])) #

Parse a source file on disk, supplying a custom parse mode, and retaining comments as well as unknown pragmas.

parseFileWithComments :: ParseMode -> FilePath -> IO (ParseResult (Module SrcSpanInfo, [Comment])) #

parseFileWithMode :: ParseMode -> FilePath -> IO (ParseResult (Module SrcSpanInfo)) #

Parse a source file on disk, supplying a custom parse mode.

parseFileWithExts :: [Extension] -> FilePath -> IO (ParseResult (Module SrcSpanInfo)) #

Parse a source file on disk, with an extra set of extensions to know about on top of what the file itself declares.

parseFile :: FilePath -> IO (ParseResult (Module SrcSpanInfo)) #

Parse a source file on disk, using the default parse mode.

metaConPat :: String -> [Pat ()] -> Pat () #

Apply a constructor of a given name to a list of pattern arguments, forming a constructor pattern.

metaFunction :: String -> [Exp ()] -> Exp () #

Apply function of a given name to a list of arguments.

nameBind :: Name () -> Exp () -> Decl () #

Bind an identifier to an expression.

patBindWhere :: Pat () -> Exp () -> [Decl ()] -> Decl () #

A pattern bind where the pattern is a variable, and where there are no guards, but with a 'where' clause.

patBind :: Pat () -> Exp () -> Decl () #

A pattern bind where the pattern is a variable, and where there are no guards and no 'where' clause.

simpleFun :: Name () -> Name () -> Exp () -> Decl () #

A function with a single clause, a single argument, no guards and no where declarations

sfun :: Name () -> [Name ()] -> Rhs () -> Maybe (Binds ()) -> Decl () #

A function with a single clause

genNames :: String -> Int -> [Name ()] #

Generate k names by appending numbers 1 through k to a given string.

wildcard :: Pat () #

The wildcard pattern: _

noBinds :: Maybe (Binds ()) #

An empty binding group.

letStmt :: [Decl ()] -> Stmt () #

A let binding group as a statement.

genStmt :: Pat () -> Exp () -> Stmt () #

A generator statement: pat <- exp

qualStmt :: Exp () -> Stmt () #

A qualifier expression statement.

pParen :: Pat () -> Pat () #

Put parentheses around a pattern.

peList :: Pat () #

The empty list pattern.

eList :: Exp () #

The empty list expression.

listE :: [Exp ()] -> Exp () #

A list expression.

altGW :: Pat () -> [Stmt ()] -> Exp () -> Binds () -> Alt () #

An alternative with a single guard in a case expression.

alt :: Pat () -> Exp () -> Alt () #

An unguarded alternative in a case expression.

caseE :: Exp () -> [Alt ()] -> Exp () #

A case expression.

letE :: [Decl ()] -> Exp () -> Exp () #

A let ... in block.

lamE :: [Pat ()] -> Exp () -> Exp () #

Lambda abstraction, given a list of argument patterns and an expression body.

doE :: [Stmt ()] -> Exp () #

A do block formed by the given statements. The last statement in the list should be a Qualifier expression.

intP :: Integer -> Pat () #

A literal integer pattern.

charP :: Char -> Pat () #

A literal character pattern.

strP :: String -> Pat () #

A literal string pattern.

intE :: Integer -> Exp () #

A literal integer expression.

charE :: Char -> Exp () #

A literal character expression.

strE :: String -> Exp () #

A literal string expression.

function :: String -> Exp () #

A function with a given name.

pvarTuple :: [Name ()] -> Pat () #

A tuple pattern consisting of variables only.

varTuple :: [Name ()] -> Exp () #

A tuple expression consisting of variables only.

pTuple :: [Pat ()] -> Pat () #

A tuple pattern.

tuple :: [Exp ()] -> Exp () #

A tuple expression.

pApp :: Name () -> [Pat ()] -> Pat () #

A constructor pattern, with argument patterns.

appFun :: Exp () -> [Exp ()] -> Exp () #

Apply a function to a list of arguments.

infixApp :: Exp () -> QOp () -> Exp () -> Exp () #

Apply an operator infix.

pvar :: Name () -> Pat () #

A pattern variable.

qvar :: ModuleName () -> Name () -> Exp () #

A qualified variable as expression.

op :: Name () -> QOp () #

Use the given identifier as an operator.

sym :: String -> Name () #

A symbol identifier. The string should be a valid Haskell symbol identifier.

name :: String -> Name () #

An identifier with the given string as its name. The string should be a valid Haskell identifier.

exactPrint :: ExactP ast => ast SrcSpanInfo -> [Comment] -> String #

Print an AST exactly as specified by the annotations on the nodes in the tree.

class Annotated ast => ExactP (ast :: Type -> Type) #

Minimal complete definition

exactP

Instances

ExactP ModuleName
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: ModuleName SrcSpanInfo -> EP ()
ExactP SpecialCon
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: SpecialCon SrcSpanInfo -> EP ()
ExactP QName
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: QName SrcSpanInfo -> EP ()
ExactP Name
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Name SrcSpanInfo -> EP ()
ExactP IPName
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: IPName SrcSpanInfo -> EP ()
ExactP QOp
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: QOp SrcSpanInfo -> EP ()
ExactP Op
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Op SrcSpanInfo -> EP ()
ExactP CName
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: CName SrcSpanInfo -> EP ()
ExactP Module
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Module SrcSpanInfo -> EP ()
ExactP ModuleHead
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: ModuleHead SrcSpanInfo -> EP ()
ExactP ExportSpecList
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: ExportSpecList SrcSpanInfo -> EP ()
ExactP ExportSpec
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: ExportSpec SrcSpanInfo -> EP ()
ExactP Namespace
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Namespace SrcSpanInfo -> EP ()
ExactP ImportDecl
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: ImportDecl SrcSpanInfo -> EP ()
ExactP ImportSpecList
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: ImportSpecList SrcSpanInfo -> EP ()
ExactP ImportSpec
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: ImportSpec SrcSpanInfo -> EP ()
ExactP Assoc
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Assoc SrcSpanInfo -> EP ()
ExactP Decl
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Decl SrcSpanInfo -> EP ()
ExactP TypeEqn
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: TypeEqn SrcSpanInfo -> EP ()
ExactP Annotation
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Annotation SrcSpanInfo -> EP ()
ExactP BooleanFormula
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: BooleanFormula SrcSpanInfo -> EP ()
ExactP Role
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Role SrcSpanInfo -> EP ()
ExactP DataOrNew
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: DataOrNew SrcSpanInfo -> EP ()
ExactP InjectivityInfo
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: InjectivityInfo SrcSpanInfo -> EP ()
ExactP ResultSig
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: ResultSig SrcSpanInfo -> EP ()
ExactP DeclHead
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: DeclHead SrcSpanInfo -> EP ()
ExactP InstRule
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: InstRule SrcSpanInfo -> EP ()
ExactP InstHead
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: InstHead SrcSpanInfo -> EP ()
ExactP Deriving
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Deriving SrcSpanInfo -> EP ()
ExactP DerivStrategy
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: DerivStrategy SrcSpanInfo -> EP ()
ExactP Binds
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Binds SrcSpanInfo -> EP ()
ExactP IPBind
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: IPBind SrcSpanInfo -> EP ()
ExactP Match
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Match SrcSpanInfo -> EP ()
ExactP QualConDecl
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: QualConDecl SrcSpanInfo -> EP ()
ExactP ConDecl
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: ConDecl SrcSpanInfo -> EP ()
ExactP FieldDecl
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: FieldDecl SrcSpanInfo -> EP ()
ExactP GadtDecl
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: GadtDecl SrcSpanInfo -> EP ()
ExactP ClassDecl
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: ClassDecl SrcSpanInfo -> EP ()
ExactP InstDecl
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: InstDecl SrcSpanInfo -> EP ()
ExactP BangType
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: BangType SrcSpanInfo -> EP ()
ExactP Unpackedness
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Unpackedness SrcSpanInfo -> EP ()
ExactP Rhs
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Rhs SrcSpanInfo -> EP ()
ExactP GuardedRhs
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: GuardedRhs SrcSpanInfo -> EP ()
ExactP Type
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Type SrcSpanInfo -> EP ()
ExactP MaybePromotedName
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: MaybePromotedName SrcSpanInfo -> EP ()
ExactP Promoted
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Promoted SrcSpanInfo -> EP ()
ExactP TyVarBind
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: TyVarBind SrcSpanInfo -> EP ()
ExactP Kind
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Kind SrcSpanInfo -> EP ()
ExactP FunDep
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: FunDep SrcSpanInfo -> EP ()
ExactP Context
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Context SrcSpanInfo -> EP ()
ExactP Asst
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Asst SrcSpanInfo -> EP ()
ExactP Literal
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Literal SrcSpanInfo -> EP ()
ExactP Sign
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Sign SrcSpanInfo -> EP ()
ExactP Exp
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Exp SrcSpanInfo -> EP ()
ExactP XName
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: XName SrcSpanInfo -> EP ()
ExactP XAttr
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: XAttr SrcSpanInfo -> EP ()
ExactP Bracket
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Bracket SrcSpanInfo -> EP ()
ExactP Splice
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Splice SrcSpanInfo -> EP ()
ExactP Safety
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Safety SrcSpanInfo -> EP ()
ExactP CallConv
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: CallConv SrcSpanInfo -> EP ()
ExactP ModulePragma
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: ModulePragma SrcSpanInfo -> EP ()
ExactP Overlap
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Overlap SrcSpanInfo -> EP ()
ExactP Activation
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Activation SrcSpanInfo -> EP ()
ExactP Rule
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Rule SrcSpanInfo -> EP ()
ExactP RuleVar
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: RuleVar SrcSpanInfo -> EP ()
ExactP WarningText
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: WarningText SrcSpanInfo -> EP ()
ExactP Pat
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Pat SrcSpanInfo -> EP ()
ExactP PXAttr
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: PXAttr SrcSpanInfo -> EP ()
ExactP RPatOp
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: RPatOp SrcSpanInfo -> EP ()
ExactP RPat
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: RPat SrcSpanInfo -> EP ()
ExactP PatField
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: PatField SrcSpanInfo -> EP ()
ExactP Stmt
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Stmt SrcSpanInfo -> EP ()
ExactP QualStmt
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: QualStmt SrcSpanInfo -> EP ()
ExactP FieldUpdate
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: FieldUpdate SrcSpanInfo -> EP ()
ExactP Alt
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: Alt SrcSpanInfo -> EP ()
ExactP GuardedAlt
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: GuardedAlt SrcSpanInfo -> EP ()
ExactP GuardedAlts
Instance details Defined in Language.Haskell.Exts.ExactPrint Methods exactP :: GuardedAlts SrcSpanInfo -> EP ()

unListOf :: ListOf a -> [a] #

getTopPragmas :: String -> ParseResult [ModulePragma SrcSpanInfo] #

Non-greedy parse of a string starting with a series of top-level option pragmas.

parseImportDeclWithComments :: ParseMode -> String -> ParseResult (ImportDecl SrcSpanInfo, [Comment]) #