Safe Haskell	Safe-Inferred
Language	Haskell2010

U.Codebase.Sqlite.NamedRef

Synopsis

data ConstructorType
- = DataConstructor
- | EffectConstructor
data NamedRef ref = NamedRef {
- reversedSegments :: ReversedName
- ref :: ref
}
newtype ScopedRow ref = ScopedRow (NamedRef ref)

Documentation

data ConstructorType Source #

Constructors

DataConstructor
EffectConstructor

Instances

Instances details

FromField ConstructorType Source #
Instance details Defined in U.Codebase.Sqlite.NamedRef Methods fromField :: FieldParser ConstructorType #
ToField ConstructorType Source #
Instance details Defined in U.Codebase.Sqlite.NamedRef Methods toField :: ConstructorType -> SQLData #

data NamedRef ref Source #

Constructors

NamedRef
Fields reversedSegments :: ReversedName ref :: ref

Instances

Instances details

Foldable NamedRef Source #
Instance details Defined in U.Codebase.Sqlite.NamedRef Methods fold :: Monoid m => NamedRef m -> m # foldMap :: Monoid m => (a -> m) -> NamedRef a -> m # foldMap' :: Monoid m => (a -> m) -> NamedRef a -> m # foldr :: (a -> b -> b) -> b -> NamedRef a -> b # foldr' :: (a -> b -> b) -> b -> NamedRef a -> b # foldl :: (b -> a -> b) -> b -> NamedRef a -> b # foldl' :: (b -> a -> b) -> b -> NamedRef a -> b # foldr1 :: (a -> a -> a) -> NamedRef a -> a # foldl1 :: (a -> a -> a) -> NamedRef a -> a # toList :: NamedRef a -> [a] # null :: NamedRef a -> Bool # length :: NamedRef a -> Int # elem :: Eq a => a -> NamedRef a -> Bool # maximum :: Ord a => NamedRef a -> a # minimum :: Ord a => NamedRef a -> a # sum :: Num a => NamedRef a -> a # product :: Num a => NamedRef a -> a #
Traversable NamedRef Source #
Instance details Defined in U.Codebase.Sqlite.NamedRef Methods traverse :: Applicative f => (a -> f b) -> NamedRef a -> f (NamedRef b) # sequenceA :: Applicative f => NamedRef (f a) -> f (NamedRef a) # mapM :: Monad m => (a -> m b) -> NamedRef a -> m (NamedRef b) # sequence :: Monad m => NamedRef (m a) -> m (NamedRef a) #
Functor NamedRef Source #
Instance details Defined in U.Codebase.Sqlite.NamedRef Methods fmap :: (a -> b) -> NamedRef a -> NamedRef b # (<$) :: a -> NamedRef b -> NamedRef a #
Show ref => Show (NamedRef ref) Source #
Instance details Defined in U.Codebase.Sqlite.NamedRef Methods showsPrec :: Int -> NamedRef ref -> ShowS # show :: NamedRef ref -> String # showList :: [NamedRef ref] -> ShowS #
FromRow ref => FromRow (NamedRef ref) Source #
Instance details Defined in U.Codebase.Sqlite.NamedRef Methods fromRow :: RowParser (NamedRef ref) #
ToRow ref => ToRow (NamedRef ref) Source #
Instance details Defined in U.Codebase.Sqlite.NamedRef Methods toRow :: NamedRef ref -> [SQLData] #

newtype ScopedRow ref Source #

The new scoped name lookup format is different from the old version.

Specifically, the scoped format adds the lastNameSegment as well as adding a trailing . to the db format of both the namespace and reversed_name.

This type has a ToRow instance of the form: [reversedName, namespace, lastNameSegment] <> ref fields...

Constructors

ScopedRow (NamedRef ref)

Instances

Instances details

ToRow ref => ToRow (ScopedRow ref) Source #
Instance details Defined in U.Codebase.Sqlite.NamedRef Methods toRow :: ScopedRow ref -> [SQLData] #