Documentation

typeConst :: Text -> Node Source #

constrType0 :: Text -> Node Source #

constrType1 :: Text -> Node -> Node Source #

constrType2 :: Text -> Node -> Node -> Node Source #

maybeType :: Node -> Node Source #

listType :: Node -> Node Source #

theArrowNode :: Node Source #

arrowType :: Node -> Node -> Node Source #

appType :: Node -> Node -> Node Source #

mkDatatype :: Text -> [Node] -> Node Source #

constFunc :: Symbol -> Node -> Edge Source #

constArg :: Symbol -> Node -> Edge Source #

var1 :: Node Source #

var2 :: Node Source #

var3 :: Node Source #

var4 :: Node Source #

varAcc :: Node Source #

mkGroups :: [(Text, TypeSkeleton)] -> (Map TypeSkeleton Text, Map Text Text) Source #

getRepOf :: [(Text, [Text])] -> Text -> Text Source #

replicatorTau :: Node Source #

replicator :: Node Source #

loop1 :: Node Source #

loop2 :: Node Source #