gibbon-0.3: A compiler for operating on serialized data
Safe HaskellSafe-Inferred
LanguageHaskell2010

Gibbon.Pretty

Synopsis

Documentation

class Pretty e where Source #

Minimal complete definition

pprintWithStyle

Methods

pprintWithStyle :: PPStyle -> e -> Doc Source #

pprint :: e -> Doc Source #

Instances

Instances details
Pretty TyVar Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> TyVar -> Doc Source #

pprint :: TyVar -> Doc Source #

Pretty Var Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> Var -> Doc Source #

pprint :: Var -> Doc Source #

Pretty Ty0 Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> Ty0 -> Doc Source #

pprint :: Ty0 -> Doc Source #

Pretty TyScheme Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> TyScheme -> Doc Source #

pprint :: TyScheme -> Doc Source #

Pretty LRM Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> LRM -> Doc Source #

pprint :: LRM -> Doc Source #

Pretty Modality Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> Modality -> Doc Source #

pprint :: Modality -> Doc Source #

Pretty Region Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> Region -> Doc Source #

pprint :: Region -> Doc Source #

Pretty RegionSize Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> RegionSize -> Doc Source #

pprint :: RegionSize -> Doc Source #

Pretty Prog Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> Prog -> Doc Source #

pprint :: Prog -> Doc Source #

Pretty FunInline Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> FunInline -> Doc Source #

pprint :: FunInline -> Doc Source #

Pretty FunMeta Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> FunMeta -> Doc Source #

pprint :: FunMeta -> Doc Source #

Pretty FunRec Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> FunRec -> Doc Source #

pprint :: FunRec -> Doc Source #

Pretty LREM Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> LREM -> Doc Source #

pprint :: LREM -> Doc Source #

Pretty LocArg Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> LocArg -> Doc Source #

pprint :: LocArg -> Doc Source #

Pretty Ty2 Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> Ty2 -> Doc Source #

pprint :: Ty2 -> Doc Source #

Pretty () Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> () -> Doc Source #

pprint :: () -> Doc Source #

Pretty Bool Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> Bool -> Doc Source #

pprint :: Bool -> Doc Source #

Pretty ty2 => Pretty (ArrowTy2 ty2) Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> ArrowTy2 ty2 -> Doc Source #

pprint :: ArrowTy2 ty2 -> Doc Source #

Pretty l => Pretty (PreLocExp l) Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> PreLocExp l -> Doc Source #

pprint :: PreLocExp l -> Doc Source #

Pretty ex => Pretty (DDef ex) Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> DDef ex -> Doc Source #

pprint :: DDef ex -> Doc Source #

HasPretty ex => Pretty (FunDef ex) Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> FunDef ex -> Doc Source #

pprint :: FunDef ex -> Doc Source #

(Show d, Pretty d, Ord d) => Pretty (Prim d) Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> Prim d -> Doc Source #

pprint :: Prim d -> Doc Source #

HasPretty ex => Pretty (Prog ex) Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> Prog ex -> Doc Source #

pprint :: Prog ex -> Doc Source #

Pretty l => Pretty (UrTy l) Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> UrTy l -> Doc Source #

pprint :: UrTy l -> Doc Source #

Pretty [Var] Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> [Var] -> Doc Source #

pprint :: [Var] -> Doc Source #

Pretty (PreExp e l d) => Pretty [PreExp e l d] Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> [PreExp e l d] -> Doc Source #

pprint :: [PreExp e l d] -> Doc Source #

(Out a, Pretty a) => Pretty (E0Ext a Ty0) Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> E0Ext a Ty0 -> Doc Source #

pprint :: E0Ext a Ty0 -> Doc Source #

(Pretty l, Pretty d, Ord d, Show d) => Pretty (E1Ext l d) Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> E1Ext l d -> Doc Source #

pprint :: E1Ext l d -> Doc Source #

HasPrettyToo E2Ext l d => Pretty (E2Ext l d) Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> E2Ext l d -> Doc Source #

pprint :: E2Ext l d -> Doc Source #

(Out l, HasPrettyToo E3Ext l (UrTy l)) => Pretty (E3Ext l (UrTy l)) Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> E3Ext l (UrTy l) -> Doc Source #

pprint :: E3Ext l (UrTy l) -> Doc Source #

Pretty ([UrTy ()], UrTy ()) Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> ([UrTy ()], UrTy ()) -> Doc Source #

pprint :: ([UrTy ()], UrTy ()) -> Doc Source #

HasPrettyToo e l d => Pretty (PreExp e l d) Source # 
Instance details

Defined in Gibbon.Pretty

Methods

pprintWithStyle :: PPStyle -> PreExp e l d -> Doc Source #

pprint :: PreExp e l d -> Doc Source #

data PPStyle Source #

Rendering style.

Constructors

PPHaskell

Prefer compatibility with GHC over anything else.

PPInternal

Noisiest, useful for Gibbon developers.

Instances

Instances details
Read PPStyle Source # 
Instance details

Defined in Gibbon.Pretty

Methods

readsPrec :: Int -> ReadS PPStyle Source #

readList :: ReadS [PPStyle] Source #

readPrec :: ReadPrec PPStyle Source #

readListPrec :: ReadPrec [PPStyle] Source #

Show PPStyle Source # 
Instance details

Defined in Gibbon.Pretty

Methods

showsPrec :: Int -> PPStyle -> ShowS Source #

show :: PPStyle -> String Source #

showList :: [PPStyle] -> ShowS Source #

Eq PPStyle Source # 
Instance details

Defined in Gibbon.Pretty

Methods

(==) :: PPStyle -> PPStyle -> Bool Source #

(/=) :: PPStyle -> PPStyle -> Bool Source #

Ord PPStyle Source # 
Instance details

Defined in Gibbon.Pretty

Methods

compare :: PPStyle -> PPStyle -> Ordering Source #

(<) :: PPStyle -> PPStyle -> Bool Source #

(<=) :: PPStyle -> PPStyle -> Bool Source #

(>) :: PPStyle -> PPStyle -> Bool Source #

(>=) :: PPStyle -> PPStyle -> Bool Source #

max :: PPStyle -> PPStyle -> PPStyle Source #

min :: PPStyle -> PPStyle -> PPStyle Source #

type HasPretty ex = (Pretty ex, Pretty (TyOf ex), Pretty (ArrowTy (TyOf ex))) Source #

render :: Doc -> String Source #

Render the Doc to a String using the default Style (see style).

pprintHsWithEnv :: Prog1 -> Doc Source #

pprender :: Pretty e => e -> String Source #