Language.PureScript.Hierarchy

Generate Directed Graphs of PureScript TypeClasses

Documentation

newtype SuperMap

Constructors

SuperMap

Fields

• _unSuperMap :: Either (ProperName ClassName) (ProperName ClassName, ProperName ClassName)

Instances

Eq SuperMap

Methods

(==) :: SuperMap -> SuperMap -> Bool

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

Ord SuperMap

Methods

compare :: SuperMap -> SuperMap -> Ordering

(<) :: SuperMap -> SuperMap -> Bool

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

(>) :: SuperMap -> SuperMap -> Bool

(>=) :: SuperMap -> SuperMap -> Bool

max :: SuperMap -> SuperMap -> SuperMap

min :: SuperMap -> SuperMap -> SuperMap

data Graph

Constructors

Graph

Fields

• graphName :: GraphName
• digraph :: Digraph

Instances

Eq Graph

Methods

(==) :: Graph -> Graph -> Bool

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

Show Graph

Methods

showsPrec :: Int -> Graph -> ShowS

show :: Graph -> String

showList :: [Graph] -> ShowS

newtype GraphName

Constructors

GraphName

Fields

• _unGraphName :: Text

Instances

Eq GraphName

Methods

(==) :: GraphName -> GraphName -> Bool

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

Show GraphName

Methods

showsPrec :: Int -> GraphName -> ShowS

show :: GraphName -> String

showList :: [GraphName] -> ShowS

newtype Digraph

Constructors

Digraph

Fields

• _unDigraph :: Text

Instances

Eq Digraph

Methods

(==) :: Digraph -> Digraph -> Bool

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

Show Digraph

Methods

showsPrec :: Int -> Digraph -> ShowS

show :: Digraph -> String

showList :: [Digraph] -> ShowS

prettyPrint :: SuperMap -> Text

runModuleName :: ModuleName -> GraphName

typeClasses :: Functor f => f Module -> f (Maybe Graph)

typeClassGraph :: Module -> Maybe Graph

typeClassPrologue :: GraphName -> Text

typeClassBody :: [SuperMap] -> Text

typeClassEpilogue :: Text

superClasses :: Declaration -> [SuperMap]