Snail.Types

type SnailEff e = (buffer :: BUFFER, console :: CONSOLE, cp :: CHILD_PROCESS, err :: EXCEPTION, fs :: FS, os :: OS, process :: PROCESS | e)

type Snail e = Aff (SnailEff e)

type Script e = Eff (SnailEff e)

data FILE

data FOLDER

type File = TagString (file :: FILE)

type Folder = TagString (folder :: FOLDER)

file :: String -> File

folder :: String -> Folder

runFile :: File -> String

runFolder :: Folder -> String

class Address a  where

Members

• getAddress :: a -> String

Instances

• Address (TagString a)