Language.PureScript.Docs.RenderedCode.Types

Data types and functions for representing a simplified form of PureScript code, intended for use in e.g. HTML documentation.

Documentation

data RenderedCodeElement

A single element in a rendered code fragment. The intention is to support multiple output formats. For example, plain text, or highlighted HTML.

Constructors

Syntax Text

Keyword Text

Space

Symbol Namespace Text Link

Any symbol which you might or might not want to link to, in any namespace (value, type, or kind). Note that this is not related to the kind called Symbol for type-level strings.

Instances

Eq RenderedCodeElement

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

(==) :: RenderedCodeElement -> RenderedCodeElement -> Bool

(/=) :: RenderedCodeElement -> RenderedCodeElement -> Bool

Ord RenderedCodeElement

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

compare :: RenderedCodeElement -> RenderedCodeElement -> Ordering

(<) :: RenderedCodeElement -> RenderedCodeElement -> Bool

(<=) :: RenderedCodeElement -> RenderedCodeElement -> Bool

(>) :: RenderedCodeElement -> RenderedCodeElement -> Bool

(>=) :: RenderedCodeElement -> RenderedCodeElement -> Bool

max :: RenderedCodeElement -> RenderedCodeElement -> RenderedCodeElement

min :: RenderedCodeElement -> RenderedCodeElement -> RenderedCodeElement

Show RenderedCodeElement

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

showsPrec :: Int -> RenderedCodeElement -> ShowS

show :: RenderedCodeElement -> String

showList :: [RenderedCodeElement] -> ShowS

ToJSON RenderedCodeElement

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

toJSON :: RenderedCodeElement -> Value

toEncoding :: RenderedCodeElement -> Encoding

toJSONList :: [RenderedCodeElement] -> Value

toEncodingList :: [RenderedCodeElement] -> Encoding

asRenderedCodeElement :: Parse Text RenderedCodeElement

data ContainingModule

This type is isomorphic to Maybe ModuleName. It makes code a bit easier to read, as the meaning is more explicit.

Constructors

ThisModule

OtherModule ModuleName

Instances

Eq ContainingModule

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

(==) :: ContainingModule -> ContainingModule -> Bool

(/=) :: ContainingModule -> ContainingModule -> Bool

Ord ContainingModule

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

compare :: ContainingModule -> ContainingModule -> Ordering

(<) :: ContainingModule -> ContainingModule -> Bool

(<=) :: ContainingModule -> ContainingModule -> Bool

(>) :: ContainingModule -> ContainingModule -> Bool

(>=) :: ContainingModule -> ContainingModule -> Bool

max :: ContainingModule -> ContainingModule -> ContainingModule

min :: ContainingModule -> ContainingModule -> ContainingModule

Show ContainingModule

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

showsPrec :: Int -> ContainingModule -> ShowS

show :: ContainingModule -> String

showList :: [ContainingModule] -> ShowS

ToJSON ContainingModule

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

toJSON :: ContainingModule -> Value

toEncoding :: ContainingModule -> Encoding

toJSONList :: [ContainingModule] -> Value

toEncodingList :: [ContainingModule] -> Encoding

FromJSON ContainingModule

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

parseJSON :: Value -> Parser ContainingModule

parseJSONList :: Value -> Parser [ContainingModule]

asContainingModule :: Parse Text ContainingModule

containingModuleToMaybe :: ContainingModule -> Maybe ModuleName

Convert a ContainingModule to a Maybe ModuleName, using the obvious isomorphism.

maybeToContainingModule :: Maybe ModuleName -> ContainingModule

Convert a Maybe ModuleName to a ContainingModule, using the obvious isomorphism.

fromContainingModule :: ModuleName -> ContainingModule -> ModuleName

A version of fromMaybe for ContainingModule values.

fromQualified :: Qualified a -> (ContainingModule, a)

data Namespace

Constructors

ValueLevel

TypeLevel

KindLevel

Instances

Eq Namespace

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

(==) :: Namespace -> Namespace -> Bool

(/=) :: Namespace -> Namespace -> Bool

Ord Namespace

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

compare :: Namespace -> Namespace -> Ordering

(<) :: Namespace -> Namespace -> Bool

(<=) :: Namespace -> Namespace -> Bool

(>) :: Namespace -> Namespace -> Bool

(>=) :: Namespace -> Namespace -> Bool

max :: Namespace -> Namespace -> Namespace

min :: Namespace -> Namespace -> Namespace

Show Namespace

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

showsPrec :: Int -> Namespace -> ShowS

show :: Namespace -> String

showList :: [Namespace] -> ShowS

Generic Namespace

Defined in Language.PureScript.Docs.RenderedCode.Types

Associated Types

type Rep Namespace :: Type -> Type

Methods

from :: Namespace -> Rep Namespace x

to :: Rep Namespace x -> Namespace

NFData Namespace

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

rnf :: Namespace -> ()

ToJSON Namespace

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

toJSON :: Namespace -> Value

toEncoding :: Namespace -> Encoding

toJSONList :: [Namespace] -> Value

toEncodingList :: [Namespace] -> Encoding

FromJSON Namespace

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

parseJSON :: Value -> Parser Namespace

parseJSONList :: Value -> Parser [Namespace]

type Rep Namespace

Defined in Language.PureScript.Docs.RenderedCode.Types

type Rep Namespace = D1 (MetaData "Namespace" "Language.PureScript.Docs.RenderedCode.Types" "purescript-0.12.4-4431FMqBZsLBJwEgpbTTth" False) (C1 (MetaCons "ValueLevel" PrefixI False) (U1 :: Type -> Type) :+: (C1 (MetaCons "TypeLevel" PrefixI False) (U1 :: Type -> Type) :+: C1 (MetaCons "KindLevel" PrefixI False) (U1 :: Type -> Type)))

data Link

Constructors

NoLink

Link ContainingModule

Instances

Eq Link

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

(==) :: Link -> Link -> Bool

(/=) :: Link -> Link -> Bool

Ord Link

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

compare :: Link -> Link -> Ordering

(<) :: Link -> Link -> Bool

(<=) :: Link -> Link -> Bool

(>) :: Link -> Link -> Bool

(>=) :: Link -> Link -> Bool

max :: Link -> Link -> Link

min :: Link -> Link -> Link

Show Link

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

showsPrec :: Int -> Link -> ShowS

show :: Link -> String

showList :: [Link] -> ShowS

ToJSON Link

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

toJSON :: Link -> Value

toEncoding :: Link -> Encoding

toJSONList :: [Link] -> Value

toEncodingList :: [Link] -> Encoding

FromJSON Link

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

parseJSON :: Value -> Parser Link

parseJSONList :: Value -> Parser [Link]

type FixityAlias = Qualified (Either (ProperName TypeName) (Either Ident (ProperName ConstructorName)))

data RenderedCode

A type representing a highly simplified version of PureScript code, intended for use in output formats like plain text or HTML.

Instances

Eq RenderedCode

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

(==) :: RenderedCode -> RenderedCode -> Bool

(/=) :: RenderedCode -> RenderedCode -> Bool

Ord RenderedCode

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

compare :: RenderedCode -> RenderedCode -> Ordering

(<) :: RenderedCode -> RenderedCode -> Bool

(<=) :: RenderedCode -> RenderedCode -> Bool

(>) :: RenderedCode -> RenderedCode -> Bool

(>=) :: RenderedCode -> RenderedCode -> Bool

max :: RenderedCode -> RenderedCode -> RenderedCode

min :: RenderedCode -> RenderedCode -> RenderedCode

Show RenderedCode

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

showsPrec :: Int -> RenderedCode -> ShowS

show :: RenderedCode -> String

showList :: [RenderedCode] -> ShowS

Semigroup RenderedCode

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

(<>) :: RenderedCode -> RenderedCode -> RenderedCode

sconcat :: NonEmpty RenderedCode -> RenderedCode

stimes :: Integral b => b -> RenderedCode -> RenderedCode

Monoid RenderedCode

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

mempty :: RenderedCode

mappend :: RenderedCode -> RenderedCode -> RenderedCode

mconcat :: [RenderedCode] -> RenderedCode

ToJSON RenderedCode

Defined in Language.PureScript.Docs.RenderedCode.Types

Methods

toJSON :: RenderedCode -> Value

toEncoding :: RenderedCode -> Encoding

toJSONList :: [RenderedCode] -> Value

toEncodingList :: [RenderedCode] -> Encoding

asRenderedCode :: Parse Text RenderedCode

outputWith :: Monoid a => (RenderedCodeElement -> a) -> RenderedCode -> a

This function allows conversion of a RenderedCode value into a value of some other type (for example, plain text, or HTML). The first argument is a function specifying how each individual RenderedCodeElement should be rendered.

sp :: RenderedCode

A RenderedCode fragment representing a space.

parens :: RenderedCode -> RenderedCode

Wrap a RenderedCode value in parens.

syntax :: Text -> RenderedCode

keyword :: Text -> RenderedCode

keywordForall :: RenderedCode

keywordData :: RenderedCode

keywordNewtype :: RenderedCode

keywordType :: RenderedCode

keywordClass :: RenderedCode

keywordInstance :: RenderedCode

keywordWhere :: RenderedCode

keywordFixity :: Associativity -> RenderedCode

keywordKind :: RenderedCode

keywordAs :: RenderedCode

ident :: Qualified Ident -> RenderedCode

dataCtor :: Qualified (ProperName ConstructorName) -> RenderedCode

typeCtor :: Qualified (ProperName TypeName) -> RenderedCode

typeOp :: Qualified (OpName TypeOpName) -> RenderedCode

typeVar :: Text -> RenderedCode

kind :: Qualified (ProperName KindName) -> RenderedCode

alias :: FixityAlias -> RenderedCode

aliasName :: FixityAlias -> Text -> RenderedCode