Skip to content

Commit

Permalink
Lint
Browse files Browse the repository at this point in the history
  • Loading branch information
akheron committed Aug 20, 2021
1 parent 5d7d880 commit dd66245
Show file tree
Hide file tree
Showing 4 changed files with 11 additions and 12 deletions.
1 change: 1 addition & 0 deletions .gitignore
Original file line number Diff line number Diff line change
Expand Up @@ -3,3 +3,4 @@ dist
dist-test
.idea
*.d.ts
venv
1 change: 1 addition & 0 deletions .prettierignore
Original file line number Diff line number Diff line change
@@ -1,2 +1,3 @@
dist/
venv/
package.json
12 changes: 7 additions & 5 deletions src/floating/compose.ts
Original file line number Diff line number Diff line change
Expand Up @@ -113,12 +113,14 @@ type ClassTable = {
}
}

export type ComposeC<C1 extends Class, C2 extends Class> =
C1 extends keyof ClassTable
? C2 extends keyof ClassTable[C1]
? ClassTable[C1][C2]
: never
export type ComposeC<
C1 extends Class,
C2 extends Class
> = C1 extends keyof ClassTable
? C2 extends keyof ClassTable[C1]
? ClassTable[C1][C2]
: never
: never

type ToOptic<O> = O extends string
? Prop<O>
Expand Down
9 changes: 2 additions & 7 deletions src/floating/guard.ts
Original file line number Diff line number Diff line change
Expand Up @@ -20,8 +20,7 @@ interface GuardMonoT<ValueType, SubType extends ValueType> extends T {
: Expected<ValueType, S<this>>
>
}
interface GuardPolyT<F extends HKT, ValueType, SubType extends ValueType>
extends T {
interface GuardPolyT<F extends HKT, ValueType> extends T {
0: TryT<
this,
S<this> extends ValueType ? Apply<F, B<this>> : Expected<ValueType, S<this>>
Expand All @@ -30,11 +29,7 @@ interface GuardPolyT<F extends HKT, ValueType, SubType extends ValueType>

export function guard<F extends HKT>(): <ValueType, SubType extends ValueType>(
g: (value: ValueType) => value is SubType
) => Optic<
'Prism',
GuardA<ValueType, SubType>,
GuardPolyT<F, ValueType, SubType>
>
) => Optic<'Prism', GuardA<ValueType, SubType>, GuardPolyT<F, ValueType>>
export function guard<ValueType, SubType extends ValueType>(
g: (value: ValueType) => value is SubType
): Optic<'Prism', GuardA<ValueType, SubType>, GuardMonoT<ValueType, SubType>>
Expand Down

0 comments on commit dd66245

Please sign in to comment.