export declare const make: <
  Tag extends string,
  Payload extends Schema.Schema.Any = any,
  Success extends Schema.Schema.Any = any,
  Error extends Schema.Schema.All = any
>(options: {
  readonly tag: Tag
  readonly primaryKey: (payload: Schema.Schema.Type<Payload>) => string
  readonly payload?: Payload
  readonly success?: Success
  readonly error?: Error
}) => Event<Tag, Payload, Success, Error>

export declare const isEvent: (u: unknown) => u is Event<any, any, any, any>

export interface Event<
  out Tag extends string,
  in out Payload extends Schema.Schema.Any = typeof Schema.Void,
  in out Success extends Schema.Schema.Any = typeof Schema.Void,
  in out Error extends Schema.Schema.All = typeof Schema.Never
> {
  readonly [TypeId]: TypeId
  readonly tag: Tag
  readonly primaryKey: (payload: Schema.Schema.Type<Payload>) => string
  readonly payload: Payload
  readonly payloadMsgPack: MsgPack.schema<Payload>
  readonly success: Success
  readonly error: Error
}

export interface Any {
  readonly [TypeId]: TypeId
  readonly tag: string
}

export interface AnyWithProps extends Event<string, Schema.Schema.Any, Schema.Schema.Any, Schema.Schema.Any> {}

export type AddError<A extends Any, Error extends Schema.Schema.Any> =
  A extends Event<infer _Tag, infer _Payload, infer _Success, infer _Error>
    ? Event<_Tag, _Payload, _Success, _Error | Error>
    : never

export type Context<A> =
  A extends Event<infer _Name, infer _Payload, infer _Success, infer _Error>
    ? Schema.Schema.Context<_Payload> | Schema.Schema.Context<_Success> | Schema.Schema.Context<_Error>
    : never

export type ContextWithTag<Events extends Any, Tag extends string> = Context<WithTag<Events, Tag>>

export type Error<A extends Any> = Schema.Schema.Type<ErrorSchema<A>>

export type ErrorSchema<A extends Any> =
  A extends Event<infer _Tag, infer _Payload, infer _Success, infer _Error> ? _Error : never

export type ErrorWithTag<Events extends Any, Tag extends string> = Error<WithTag<Events, Tag>>

export type ExcludeTag<Events extends Any, Tag extends string> = Exclude<Events, { readonly tag: Tag }>

export type Payload<A extends Any> = Schema.Schema.Type<PayloadSchema<A>>

export type PayloadSchema<A extends Any> =
  A extends Event<infer _Tag, infer _Payload, infer _Success, infer _Error> ? _Payload : never

export type PayloadWithTag<Events extends Any, Tag extends string> = Payload<WithTag<Events, Tag>>

export type Success<A extends Any> = Schema.Schema.Type<SuccessSchema<A>>

export type SuccessSchema<A extends Any> =
  A extends Event<infer _Tag, infer _Payload, infer _Success, infer _Error> ? _Success : never

export type SuccessWithTag<Events extends Any, Tag extends string> = Success<WithTag<Events, Tag>>

export type Tag<A> = A extends Event<infer _Tag, infer _Payload, infer _Success, infer _Error> ? _Tag : never

export type TaggedPayload<A extends Any> =
  A extends Event<infer _Tag, infer _Payload, infer _Success, infer _Error>
    ? {
        readonly _tag: _Tag
        readonly payload: Schema.Schema.Type<_Payload>
      }
    : never

export type ToService<A> =
  A extends Event<infer _Tag, infer _Payload, infer _Success, infer _Error> ? EventHandler<_Tag> : never

export type WithTag<Events extends Any, Tag extends string> = Extract<Events, { readonly tag: Tag }>

export interface EventHandler<in out Tag extends string> {
  readonly _: unique symbol
  readonly tag: Tag
}

export declare const TypeId: typeof TypeId

export type TypeId = typeof TypeId