WikiMusic.Free.UserQuery

Documentation

data UserQuery a

Constructors

DoesTokenMatchByEmail Env UserEmail UserToken (Either UserQueryError Bool -> a)

Instances

Functor UserQuery

Defined in WikiMusic.Free.UserQuery

Methods

fmap :: (a -> b) -> UserQuery a -> UserQuery b

(<$) :: a -> UserQuery b -> UserQuery a

Exec UserQuery

Defined in WikiMusic.Sqlite.UserQuery

Methods

execAlgebra :: UserQuery (IO a) -> IO a

doesTokenMatchByEmail :: UserQuery :<: f => Env -> UserEmail -> UserToken -> Free f (Either UserQueryError Bool)

data UserQueryError

Constructors

PersistenceError Text

LogicError Text

Instances

Show UserQueryError

Defined in WikiMusic.Free.UserQuery

Methods

showsPrec :: Int -> UserQueryError -> ShowS

show :: UserQueryError -> String

showList :: [UserQueryError] -> ShowS

newtype UserEmail

Constructors

UserEmail

Fields

• value :: Text

Instances

Generic UserEmail

Defined in WikiMusic.Free.UserQuery

Associated Types

type Rep UserEmail :: Type -> Type

Methods

from :: UserEmail -> Rep UserEmail x

to :: Rep UserEmail x -> UserEmail

Show UserEmail

Defined in WikiMusic.Free.UserQuery

Methods

showsPrec :: Int -> UserEmail -> ShowS

show :: UserEmail -> String

showList :: [UserEmail] -> ShowS

Eq UserEmail

Defined in WikiMusic.Free.UserQuery

Methods

(==) :: UserEmail -> UserEmail -> Bool

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

(k ~ An_Iso, a ~ Text, b ~ Text) => LabelOptic "value" k UserEmail UserEmail a b

Defined in WikiMusic.Free.UserQuery

Methods

labelOptic :: Optic k NoIx UserEmail UserEmail a b

type Rep UserEmail

Defined in WikiMusic.Free.UserQuery

type Rep UserEmail = D1 ('MetaData "UserEmail" "WikiMusic.Free.UserQuery" "wikimusic-api-1.2.0.8-JHwpuK3L2G3YDoKuoiL6D" 'True) (C1 ('MetaCons "UserEmail" 'PrefixI 'True) (S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

newtype UserToken

Constructors

UserToken

Fields

• value :: Text

Instances

Generic UserToken

Defined in WikiMusic.Free.UserQuery

Associated Types

type Rep UserToken :: Type -> Type

Methods

from :: UserToken -> Rep UserToken x

to :: Rep UserToken x -> UserToken

Show UserToken

Defined in WikiMusic.Free.UserQuery

Methods

showsPrec :: Int -> UserToken -> ShowS

show :: UserToken -> String

showList :: [UserToken] -> ShowS

Eq UserToken

Defined in WikiMusic.Free.UserQuery

Methods

(==) :: UserToken -> UserToken -> Bool

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

(k ~ An_Iso, a ~ Text, b ~ Text) => LabelOptic "value" k UserToken UserToken a b

Defined in WikiMusic.Free.UserQuery

Methods

labelOptic :: Optic k NoIx UserToken UserToken a b

type Rep UserToken

Defined in WikiMusic.Free.UserQuery

type Rep UserToken = D1 ('MetaData "UserToken" "WikiMusic.Free.UserQuery" "wikimusic-api-1.2.0.8-JHwpuK3L2G3YDoKuoiL6D" 'True) (C1 ('MetaCons "UserToken" 'PrefixI 'True) (S1 ('MetaSel ('Just "value") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))