0.1.3 #4

Merged
Thilawyn merged 90 commits from next into master 2025-08-23 03:07:28 +02:00
4 changed files with 41 additions and 3 deletions
Showing only changes of commit c1f212cede - Show all commits

View File

@@ -0,0 +1,32 @@
import { DateTime, identity, ParseResult, Schema } from "effect"
export const DateTimeUtcFromZoned = Schema.transformOrFail(
Schema.DateTimeZonedFromSelf,
Schema.DateTimeUtcFromSelf,
{
strict: true,
encode: DateTime.setZoneCurrent,
decode: zoned => ParseResult.succeed(DateTime.toUtc(zoned)),
},
)
export const DateTimeZonedFromUtc = Schema.transformOrFail(
Schema.DateTimeUtcFromSelf,
Schema.DateTimeZonedFromSelf,
{
strict: true,
encode: zoned => ParseResult.succeed(DateTime.toUtc(zoned)),
decode: DateTime.setZoneCurrent,
},
)
export const DateTimeUtcFromZonedInput = Schema.transform(
Schema.String,
Schema.compose(Schema.DateTimeZoned, DateTimeUtcFromZoned),
{
strict: true,
encode: v => v.slice(0, 16),
decode: identity,
},
)

View File

@@ -0,0 +1 @@
export * from "./datetime"

View File

@@ -1,10 +1,11 @@
import { FetchHttpClient } from "@effect/platform" import { FetchHttpClient } from "@effect/platform"
import { Clipboard, Geolocation, Permissions } from "@effect/platform-browser" import { Clipboard, Geolocation, Permissions } from "@effect/platform-browser"
import { Layer } from "effect" import { DateTime, Layer } from "effect"
import { ReactManagedRuntime } from "effect-fc" import { ReactManagedRuntime } from "effect-fc"
export const AppLive = Layer.empty.pipe( export const AppLive = Layer.empty.pipe(
Layer.provideMerge(DateTime.layerCurrentZoneLocal),
Layer.provideMerge(Clipboard.layer), Layer.provideMerge(Clipboard.layer),
Layer.provideMerge(Geolocation.layer), Layer.provideMerge(Geolocation.layer),
Layer.provideMerge(Permissions.layer), Layer.provideMerge(Permissions.layer),

View File

@@ -1,4 +1,5 @@
import * as Domain from "@/domain" import * as Domain from "@/domain"
import { DateTimeUtcFromZonedInput } from "@/lib/schema"
import { TextAreaInput } from "@/lib/TextAreaInput" import { TextAreaInput } from "@/lib/TextAreaInput"
import { TextFieldInput } from "@/lib/TextFieldInput" import { TextFieldInput } from "@/lib/TextFieldInput"
import { Box, Button, Flex, IconButton } from "@radix-ui/themes" import { Box, Button, Flex, IconButton } from "@radix-ui/themes"
@@ -13,7 +14,7 @@ import { TodosState } from "./TodosState.service"
const StringTextAreaInput = TextAreaInput({ schema: Schema.String }) const StringTextAreaInput = TextAreaInput({ schema: Schema.String })
const OptionalDateInput = TextFieldInput({ optional: true, schema: Schema.DateTimeUtc }) const OptionalDateInput = TextFieldInput({ optional: true, schema: DateTimeUtcFromZonedInput })
const makeTodo = makeUuid4.pipe( const makeTodo = makeUuid4.pipe(
Effect.map(id => Domain.Todo.Todo.make({ Effect.map(id => Domain.Todo.Todo.make({
@@ -58,7 +59,10 @@ export class Todo extends Component.makeUntraced(function* Todo(props: TodoProps
<StringTextAreaInputFC ref={contentRef} /> <StringTextAreaInputFC ref={contentRef} />
<Flex direction="row" justify="center" align="center" gap="2"> <Flex direction="row" justify="center" align="center" gap="2">
<OptionalDateInputFC ref={completedAtRef} /> <OptionalDateInputFC
ref={completedAtRef}
type="datetime-local"
/>
{props._tag === "new" && {props._tag === "new" &&
<Button <Button