Safe Haskell	None
Language	Haskell2010

Axel.Haskell.Converter

Documentation

renderRaw :: Pretty a => a -> String Source #

unsupportedExpr :: Pretty a => a -> Expression Source #

unsupportedStmt :: Pretty a => a -> Statement Source #

class ToExpr a where Source #

Methods

toExpr :: a b -> Expression Source #

Instances

ToExpr ModuleName Source #
Instance details Defined in Axel.Haskell.Converter Methods toExpr :: ModuleName b -> Expression Source #
ToExpr SpecialCon Source #
Instance details Defined in Axel.Haskell.Converter Methods toExpr :: SpecialCon b -> Expression Source #
ToExpr QName Source #
Instance details Defined in Axel.Haskell.Converter Methods toExpr :: QName b -> Expression Source #
ToExpr Name Source #
Instance details Defined in Axel.Haskell.Converter Methods toExpr :: Name b -> Expression Source #
ToExpr QOp Source #
Instance details Defined in Axel.Haskell.Converter Methods toExpr :: QOp b -> Expression Source #
ToExpr CName Source #
Instance details Defined in Axel.Haskell.Converter Methods toExpr :: CName b -> Expression Source #
ToExpr ModuleHead Source #
Instance details Defined in Axel.Haskell.Converter Methods toExpr :: ModuleHead b -> Expression Source #
ToExpr InstRule Source #
Instance details Defined in Axel.Haskell.Converter Methods toExpr :: InstRule b -> Expression Source #
ToExpr InstHead Source #
Instance details Defined in Axel.Haskell.Converter Methods toExpr :: InstHead b -> Expression Source #
ToExpr QualConDecl Source #
Instance details Defined in Axel.Haskell.Converter Methods toExpr :: QualConDecl b -> Expression Source #
ToExpr Rhs Source #
Instance details Defined in Axel.Haskell.Converter Methods toExpr :: Rhs b -> Expression Source #
ToExpr Type Source #
Instance details Defined in Axel.Haskell.Converter Methods toExpr :: Type b -> Expression Source #
ToExpr MaybePromotedName Source #
Instance details Defined in Axel.Haskell.Converter Methods toExpr :: MaybePromotedName b -> Expression Source #
ToExpr Promoted Source #
Instance details Defined in Axel.Haskell.Converter Methods toExpr :: Promoted b -> Expression Source #
ToExpr TyVarBind Source #
Instance details Defined in Axel.Haskell.Converter Methods toExpr :: TyVarBind b -> Expression Source #
ToExpr Asst Source #
Instance details Defined in Axel.Haskell.Converter Methods toExpr :: Asst b -> Expression Source #
ToExpr Literal Source #
Instance details Defined in Axel.Haskell.Converter Methods toExpr :: Literal b -> Expression Source #
ToExpr Exp Source #
Instance details Defined in Axel.Haskell.Converter Methods toExpr :: Exp b -> Expression Source #
ToExpr Pat Source #
Instance details Defined in Axel.Haskell.Converter Methods toExpr :: Pat b -> Expression Source #

class ToStmts a where Source #

Methods

toStmts :: a b -> [Statement] Source #

Instances

ToStmts Module Source #
Instance details Defined in Axel.Haskell.Converter Methods toStmts :: Module b -> [Statement] Source #
ToStmts ImportDecl Source #
Instance details Defined in Axel.Haskell.Converter Methods toStmts :: ImportDecl b -> [Statement] Source #
ToStmts Decl Source #
Instance details Defined in Axel.Haskell.Converter Methods toStmts :: Decl b -> [Statement] Source #
ToStmts Match Source #
Instance details Defined in Axel.Haskell.Converter Methods toStmts :: Match b -> [Statement] Source #
ToStmts ModulePragma Source #
Instance details Defined in Axel.Haskell.Converter Methods toStmts :: ModulePragma b -> [Statement] Source #

toId :: ToExpr a => a b -> String Source #

declHeadToTyDef :: DeclHead a -> TypeDefinition Source #

tyDefToExpr :: TypeDefinition -> Expression Source #

exprToTyDef :: Expression -> TypeDefinition Source #

toFunApp :: Expression -> FunctionApplication Source #

bindsToFunDefs :: Maybe (Binds a) -> [FunctionDefinition] Source #

altToClause :: Alt a -> (Expression, Expression) Source #

bindsToClauses :: Binds a -> [(Expression, Expression)] Source #

instDeclToFunDef :: InstDecl a -> FunctionDefinition Source #

classDeclToTySig :: ClassDecl a -> TypeSignature Source #

contextToExprs :: Maybe (Context a) -> [Expression] Source #

convertFile :: (LastMember IO effs, Members '[Console, FileSystem] effs) => FilePath -> FilePath -> Eff effs String Source #