Safe Haskell	Safe-Inferred
Language	Haskell2010

U.Codebase.Sqlite.NameLookups

Description

Types related to working with NameLookups. We define these low-level types rather than use Path's because we don't have access to those domain types given the package dependency tree.

Synopsis

newtype ReversedName = ReversedName (NonEmpty Text)
newtype ReversedPath = ReversedPath [Text]
newtype PathSegments = PathSegments [Text]
type NamespaceText = Text
reversedNameToNamespaceText :: ReversedName -> NamespaceText
reversedNameToPathSegments :: ReversedName -> PathSegments
pathSegmentsToText :: PathSegments -> Text
textToPathSegments :: Text -> PathSegments

Documentation

newtype ReversedName Source #

Constructors

ReversedName (NonEmpty Text)

Instances

Instances details

Show ReversedName Source #
Instance details Defined in U.Codebase.Sqlite.NameLookups Methods showsPrec :: Int -> ReversedName -> ShowS # show :: ReversedName -> String # showList :: [ReversedName] -> ShowS #
Eq ReversedName Source #
Instance details Defined in U.Codebase.Sqlite.NameLookups Methods (==) :: ReversedName -> ReversedName -> Bool # (/=) :: ReversedName -> ReversedName -> Bool #
Ord ReversedName Source #
Instance details Defined in U.Codebase.Sqlite.NameLookups Methods compare :: ReversedName -> ReversedName -> Ordering # (<) :: ReversedName -> ReversedName -> Bool # (<=) :: ReversedName -> ReversedName -> Bool # (>) :: ReversedName -> ReversedName -> Bool # (>=) :: ReversedName -> ReversedName -> Bool # max :: ReversedName -> ReversedName -> ReversedName # min :: ReversedName -> ReversedName -> ReversedName #
From ReversedName (NonEmpty Text) Source #
Instance details Defined in U.Codebase.Sqlite.NameLookups Methods from :: ReversedName -> NonEmpty Text #
From ReversedName [Text] Source #
Instance details Defined in U.Codebase.Sqlite.NameLookups Methods from :: ReversedName -> [Text] #
From (NonEmpty Text) ReversedName Source #
Instance details Defined in U.Codebase.Sqlite.NameLookups Methods from :: NonEmpty Text -> ReversedName #

newtype ReversedPath Source #

Constructors

ReversedPath [Text]

Instances

Instances details

Show ReversedPath Source #
Instance details Defined in U.Codebase.Sqlite.NameLookups Methods showsPrec :: Int -> ReversedPath -> ShowS # show :: ReversedPath -> String # showList :: [ReversedPath] -> ShowS #
Eq ReversedPath Source #
Instance details Defined in U.Codebase.Sqlite.NameLookups Methods (==) :: ReversedPath -> ReversedPath -> Bool # (/=) :: ReversedPath -> ReversedPath -> Bool #
Ord ReversedPath Source #
Instance details Defined in U.Codebase.Sqlite.NameLookups Methods compare :: ReversedPath -> ReversedPath -> Ordering # (<) :: ReversedPath -> ReversedPath -> Bool # (<=) :: ReversedPath -> ReversedPath -> Bool # (>) :: ReversedPath -> ReversedPath -> Bool # (>=) :: ReversedPath -> ReversedPath -> Bool # max :: ReversedPath -> ReversedPath -> ReversedPath # min :: ReversedPath -> ReversedPath -> ReversedPath #
From ReversedPath [Text] Source #
Instance details Defined in U.Codebase.Sqlite.NameLookups Methods from :: ReversedPath -> [Text] #
From [Text] ReversedPath Source #
Instance details Defined in U.Codebase.Sqlite.NameLookups Methods from :: [Text] -> ReversedPath #

newtype PathSegments Source #

Constructors

PathSegments [Text]

Instances

Instances details

Monoid PathSegments Source #
Instance details Defined in U.Codebase.Sqlite.NameLookups Methods mempty :: PathSegments # mappend :: PathSegments -> PathSegments -> PathSegments # mconcat :: [PathSegments] -> PathSegments #
Semigroup PathSegments Source #
Instance details Defined in U.Codebase.Sqlite.NameLookups Methods (<>) :: PathSegments -> PathSegments -> PathSegments # sconcat :: NonEmpty PathSegments -> PathSegments # stimes :: Integral b => b -> PathSegments -> PathSegments #
Show PathSegments Source #
Instance details Defined in U.Codebase.Sqlite.NameLookups Methods showsPrec :: Int -> PathSegments -> ShowS # show :: PathSegments -> String # showList :: [PathSegments] -> ShowS #
Eq PathSegments Source #
Instance details Defined in U.Codebase.Sqlite.NameLookups Methods (==) :: PathSegments -> PathSegments -> Bool # (/=) :: PathSegments -> PathSegments -> Bool #
Ord PathSegments Source #
Instance details Defined in U.Codebase.Sqlite.NameLookups Methods compare :: PathSegments -> PathSegments -> Ordering # (<) :: PathSegments -> PathSegments -> Bool # (<=) :: PathSegments -> PathSegments -> Bool # (>) :: PathSegments -> PathSegments -> Bool # (>=) :: PathSegments -> PathSegments -> Bool # max :: PathSegments -> PathSegments -> PathSegments # min :: PathSegments -> PathSegments -> PathSegments #
From PathSegments [Text] Source #
Instance details Defined in U.Codebase.Sqlite.NameLookups Methods from :: PathSegments -> [Text] #
From [Text] PathSegments Source #
Instance details Defined in U.Codebase.Sqlite.NameLookups Methods from :: [Text] -> PathSegments #

type NamespaceText = Text Source #

A namespace rendered as a path, no leading . E.g. "base.data"

reversedNameToNamespaceText :: ReversedName -> NamespaceText Source #

>>> reversedSegmentsToNamespaceText (["List", "data", "base"])
"base.data.List"

reversedNameToPathSegments :: ReversedName -> PathSegments Source #

pathSegmentsToText :: PathSegments -> Text Source #

>>> pathSegmentsToText (PathSegments ["base", "data", "List"])
"base.data.List"

textToPathSegments :: Text -> PathSegments Source #

>>> textToPathSegments "base.data.List"
PathSegments ["base","data","List"]