import * as RTE from 'fp-ts/lib/ReaderTaskEither';
import * as TE from 'fp-ts/lib/TaskEither';
import * as config from './config';
/**
 * capabilities
 *
 * @since 0.2.0
 */
export interface Eff<A> extends TE.TaskEither<string, A> {
}
/**
 * @since 0.2.0
 */
export interface MonadFileSystem {
    readonly getFilenames: (pattern: string) => Eff<Array<string>>;
    readonly readFile: (path: string) => Eff<string>;
    readonly writeFile: (path: string, content: string) => Eff<void>;
    readonly existsFile: (path: string) => Eff<boolean>;
    readonly clean: (pattern: string) => Eff<void>;
}
/**
 * @since 0.2.0
 */
export interface MonadLog {
    readonly info: (message: string) => Eff<void>;
    readonly log: (message: string) => Eff<void>;
    readonly debug: (message: string) => Eff<void>;
}
/**
 * @since 0.6.0
 */
export interface Env {
    readonly name: string;
    readonly homepage: string;
    readonly config: config.Config;
}
/**
 * @since 0.2.0
 */
export interface Capabilities extends MonadFileSystem, MonadLog {
}
/**
 * @since 0.6.0
 */
export interface Context {
    readonly C: Capabilities;
    readonly Env: Env;
}
/**
 * App effect
 *
 * @since 0.2.0
 */
export interface Effect<A> extends RTE.ReaderTaskEither<Context, string, A> {
}
/**
 * @since 0.2.0
 */
export declare const main: Effect<void>;