Language.Hakaru.Pretty.SExpression

Documentation

pretty :: ABT Term abt => abt '[] a -> Doc

prettyTerm :: ABT Term abt => Term abt a -> Doc

prettyDatum :: ABT Term abt => Datum (abt '[]) t -> Doc

prettyDatumCode :: ABT Term abt => DatumCode xss (abt '[]) a -> Doc

prettyDatumStruct :: ABT Term abt => DatumStruct xs (abt '[]) a -> Doc

prettyDatumFun :: ABT Term abt => DatumFun x (abt '[]) a -> Doc

prettyReducer :: ABT Term abt => Reducer abt xs a -> Doc

prettyBranch :: ABT Term abt => Branch a abt b -> Doc

prettyPattern :: Pattern xs a -> Doc

goCode :: PDatumCode xss vars a -> Doc

goStruct :: PDatumStruct xs vars a -> Doc

goFun :: PDatumFun x vars a -> Doc

prettyViewABT :: ABT Term abt => abt xs a -> Doc

prettyView :: ABT Term abt => View (Term abt) xs a -> Doc

prettyShow :: Show a => a -> Doc

prettyLiteral :: Literal a -> Doc

prettyRatio :: (Show a, Integral a) => Ratio a -> Doc

prettyVariable :: Variable (a :: Hakaru) -> Doc

prettySCons :: ABT Term abt => SCon args a -> SArgs abt args -> Doc

prettyMeasureOp :: (ABT Term abt, typs ~ UnLCs args, args ~ LCs typs) => MeasureOp typs a -> SArgs abt args -> Doc

pUnsafeCoerce :: Coercion a b -> String

pCoerce :: Coercion a b -> String

prettyNary :: ABT Term abt => NaryOp a -> Seq (abt '[] a) -> Doc

prettyType :: Sing (a :: Hakaru) -> Doc

prettyPrimOp :: (ABT Term abt, typs ~ UnLCs args, args ~ LCs typs) => PrimOp typs a -> SArgs abt args -> Doc

prettyArrayOp :: (ABT Term abt, typs ~ UnLCs args, args ~ LCs typs) => ArrayOp typs a -> SArgs abt args -> Doc

prettyFile' :: [Char] -> [Char] -> IO ()

runPretty' :: Text -> IO String

fromAst :: Either Text (TypedAST (TrivialABT Term)) -> String