Safe Haskell	None
Language	Haskell2010

Axel.Haskell.Converter

Documentation

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

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

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

class ToExpr a where #

Methods

toExpr :: a b -> Expression #

Instances

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

class ToStmts a where #

Methods

toStmts :: a b -> [Statement] #

Instances

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

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

declHeadToTyDef :: DeclHead a -> TypeDefinition #

tyDefToExpr :: TypeDefinition -> Expression #

exprToTyDef :: Expression -> TypeDefinition #

toFunApp :: Expression -> FunctionApplication #

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

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

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

instDeclToFunDef :: InstDecl a -> FunctionDefinition #

classDeclToTySig :: ClassDecl a -> TypeSignature #

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

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