eo-phi-normalizer-3.2.0: Command line normalizer of 𝜑-calculus expressions.
Safe HaskellSafe-Inferred
LanguageHaskell2010

Language.EO.Phi.Pretty

Orphan instances

Pretty AlphaIndex Source # 
Instance details

Methods

pretty :: AlphaIndex -> Doc ann #

prettyList :: [AlphaIndex] -> Doc ann #

Pretty Attribute Source # 
Instance details

Methods

pretty :: Attribute -> Doc ann #

prettyList :: [Attribute] -> Doc ann #

Pretty AttributeSugar Source # 
Instance details

Methods

pretty :: AttributeSugar -> Doc ann #

prettyList :: [AttributeSugar] -> Doc ann #

Pretty Binding Source # 
Instance details

Methods

pretty :: Binding -> Doc ann #

prettyList :: [Binding] -> Doc ann #

Pretty BindingsMetaId Source # 
Instance details

Methods

pretty :: BindingsMetaId -> Doc ann #

prettyList :: [BindingsMetaId] -> Doc ann #

Pretty Bytes Source # 
Instance details

Methods

pretty :: Bytes -> Doc ann #

prettyList :: [Bytes] -> Doc ann #

Pretty BytesMetaId Source # 
Instance details

Methods

pretty :: BytesMetaId -> Doc ann #

prettyList :: [BytesMetaId] -> Doc ann #

Pretty DoubleSigned Source # 
Instance details

Methods

pretty :: DoubleSigned -> Doc ann #

prettyList :: [DoubleSigned] -> Doc ann #

Pretty Function Source # 
Instance details

Methods

pretty :: Function -> Doc ann #

prettyList :: [Function] -> Doc ann #

Pretty IntegerSigned Source # 
Instance details

Methods

pretty :: IntegerSigned -> Doc ann #

prettyList :: [IntegerSigned] -> Doc ann #

Pretty LabelId Source # 
Instance details

Methods

pretty :: LabelId -> Doc ann #

prettyList :: [LabelId] -> Doc ann #

Pretty LabelMetaId Source # 
Instance details

Methods

pretty :: LabelMetaId -> Doc ann #

prettyList :: [LabelMetaId] -> Doc ann #

Pretty MetaFunctionName Source # 
Instance details

Pretty MetaId Source # 
Instance details

Methods

pretty :: MetaId -> Doc ann #

prettyList :: [MetaId] -> Doc ann #

Pretty Object Source # 
Instance details

Methods

pretty :: Object -> Doc ann #

prettyList :: [Object] -> Doc ann #

Pretty ObjectAction Source # 
Instance details

Methods

pretty :: ObjectAction -> Doc ann #

prettyList :: [ObjectAction] -> Doc ann #

Pretty ObjectHead Source # 
Instance details

Methods

pretty :: ObjectHead -> Doc ann #

prettyList :: [ObjectHead] -> Doc ann #

Pretty ObjectMetaId Source # 
Instance details

Methods

pretty :: ObjectMetaId -> Doc ann #

prettyList :: [ObjectMetaId] -> Doc ann #

Pretty PeeledObject Source # 
Instance details

Methods

pretty :: PeeledObject -> Doc ann #

prettyList :: [PeeledObject] -> Doc ann #

Pretty Program Source # 
Instance details

Methods

pretty :: Program -> Doc ann #

prettyList :: [Program] -> Doc ann #

Pretty RuleAttribute Source # 
Instance details

Methods

pretty :: RuleAttribute -> Doc ann #

prettyList :: [RuleAttribute] -> Doc ann #

Pretty StringRaw Source # 
Instance details

Methods

pretty :: StringRaw -> Doc ann #

prettyList :: [StringRaw] -> Doc ann #

Pretty TailMetaId Source # 
Instance details

Methods

pretty :: TailMetaId -> Doc ann #

prettyList :: [TailMetaId] -> Doc ann #

Pretty [Binding] Source # 
Instance details

Methods

pretty :: [Binding] -> Doc ann #

prettyList :: [[Binding]] -> Doc ann #

Pretty [LabelId] Source # 
Instance details

Methods

pretty :: [LabelId] -> Doc ann #

prettyList :: [[LabelId]] -> Doc ann #

Pretty [ObjectAction] Source # 
Instance details

Methods

pretty :: [ObjectAction] -> Doc ann #

prettyList :: [[ObjectAction]] -> Doc ann #