Skip to content

Commit

Permalink
fix Free example
Browse files Browse the repository at this point in the history
  • Loading branch information
gcanti committed Feb 12, 2018
1 parent 18bd8f8 commit 8ddf3b8
Showing 1 changed file with 16 additions and 8 deletions.
24 changes: 16 additions & 8 deletions examples/Free.ts
Original file line number Diff line number Diff line change
Expand Up @@ -26,31 +26,35 @@ export class Forward<A> {
readonly _tag: 'Forward' = 'Forward'
// prettier-ignore
readonly '_A': A
readonly _URI: InstructionFURI
// prettier-ignore
readonly '_URI': InstructionFURI
constructor(readonly position: Position, readonly length: number, readonly more: (p: Position) => A) {}
}

export class Backward<A> {
readonly _tag: 'Backward' = 'Backward'
// prettier-ignore
readonly '_A': A
readonly _URI: InstructionFURI
// prettier-ignore
readonly '_URI': InstructionFURI
constructor(readonly position: Position, readonly length: number, readonly more: (p: Position) => A) {}
}

export class RotateRight<A> {
readonly _tag: 'RotateRight' = 'RotateRight'
// prettier-ignore
readonly '_A': A
readonly _URI: InstructionFURI
// prettier-ignore
readonly '_URI': InstructionFURI
constructor(readonly position: Position, readonly degree: Degree, readonly more: (p: Position) => A) {}
}

export class Show<A> {
readonly _tag: 'Show' = 'Show'
// prettier-ignore
readonly '_A': A
readonly _URI: InstructionFURI
// prettier-ignore
readonly '_URI': InstructionFURI
constructor(readonly position: Position, readonly more: A) {}
}

Expand Down Expand Up @@ -158,15 +162,17 @@ export class PencilUp<A> {
readonly _tag: 'PencilUp' = 'PencilUp'
// prettier-ignore
readonly '_A': A
readonly _URI: PencilInstructionFURI
// prettier-ignore
readonly '_URI': PencilInstructionFURI
constructor(readonly position: Position, readonly more: A) {}
}

export class PencilDown<A> {
readonly _tag: 'PencilDown' = 'PencilDown'
// prettier-ignore
readonly '_A': A
readonly _URI: PencilInstructionFURI
// prettier-ignore
readonly '_URI': PencilInstructionFURI
constructor(readonly position: Position, readonly more: A) {}
}

Expand All @@ -191,15 +197,17 @@ export class Instruction<A> {
readonly _tag: InstructionFURI = InstructionFURI
// prettier-ignore
readonly '_A': A
readonly _URI: LogoAppFURI
// prettier-ignore
readonly '_URI': LogoAppFURI
constructor(readonly value: InstructionF<A>) {}
}

export class PencilInstruction<A> {
readonly _tag: PencilInstructionFURI = PencilInstructionFURI
// prettier-ignore
readonly '_A': A
readonly _URI: LogoAppFURI
// prettier-ignore
readonly '_URI': LogoAppFURI
constructor(readonly value: PencilInstructionF<A>) {}
}

Expand Down

0 comments on commit 8ddf3b8

Please sign in to comment.