import { Effect, Schema as S } from 'effect'; import * as Command from '../../command/index.js'; import { type Html } from '../../html/index.js'; export declare const Model: S.Struct<{ readonly email: S.String; readonly password: S.String; readonly status: S.Literals; readonly username: S.String; readonly error: S.String; }>; export type Model = typeof Model.Type; export declare const UpdatedEmail: import("../../schema/index.js").CallableTaggedStruct<"UpdatedEmail", { value: S.String; }>; export declare const UpdatedPassword: import("../../schema/index.js").CallableTaggedStruct<"UpdatedPassword", { value: S.String; }>; export declare const SubmittedLogin: import("../../schema/index.js").CallableTaggedStruct<"SubmittedLogin", {}>; export declare const SucceededAuthenticate: import("../../schema/index.js").CallableTaggedStruct<"SucceededAuthenticate", { username: S.String; }>; export declare const FailedAuthenticate: import("../../schema/index.js").CallableTaggedStruct<"FailedAuthenticate", { error: S.String; }>; export declare const ClickedLogout: import("../../schema/index.js").CallableTaggedStruct<"ClickedLogout", {}>; export declare const Message: S.Union, import("../../schema/index.js").CallableTaggedStruct<"UpdatedPassword", { value: S.String; }>, import("../../schema/index.js").CallableTaggedStruct<"SubmittedLogin", {}>, import("../../schema/index.js").CallableTaggedStruct<"SucceededAuthenticate", { username: S.String; }>, import("../../schema/index.js").CallableTaggedStruct<"FailedAuthenticate", { error: S.String; }>, import("../../schema/index.js").CallableTaggedStruct<"ClickedLogout", {}>]>; export type Message = typeof Message.Type; export declare const Authenticate: Command.CommandDefinitionNoArgs<"Authenticate", Effect.Effect<{ readonly _tag: "SucceededAuthenticate"; readonly username: string; }, never, never>>; export declare const initialModel: Model; export declare const update: (model: Model, message: Message) => readonly [Model, ReadonlyArray>]; export declare const view: (model: Model) => Html; //# sourceMappingURL=login.d.ts.map