rzk-0.5.7: An experimental proof assistant for synthetic ∞-categories
Safe HaskellSafe-Inferred
LanguageHaskell2010

Rzk.Main

Synopsis

Documentation

data Command Source #

Instances

Instances details
Generic Command Source # 
Instance details

Defined in Rzk.Main

Associated Types

type Rep Command :: Type -> Type #

Methods

from :: Command -> Rep Command x #

to :: Rep Command x -> Command #

Show Command Source # 
Instance details

Defined in Rzk.Main

ParseRecord Command Source # 
Instance details

Defined in Rzk.Main

type Rep Command Source # 
Instance details

Defined in Rzk.Main

type Rep Command = D1 ('MetaData "Command" "Rzk.Main" "rzk-0.5.7-Dt3pKxYNLsxFxN0oi388y9" 'False) (C1 ('MetaCons "Typecheck" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [FilePath])) :+: (C1 ('MetaCons "Tokenize" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "Version" 'PrefixI 'False) (U1 :: Type -> Type)))

main :: IO () Source #

globNonEmpty :: FilePath -> IO [FilePath] Source #

Finds matches to the given pattern in the current working directory. **NOTE:** throws exception when glob returns an empty list.