Idris2Doc : Idrall.API.V2

Idrall.API.V2

(source)
Reexports
import public Idrall.Expr
import public Idrall.Error
import public Idrall.Derive
import public Idrall.Derive.ToDhall
import public Idrall.IOEither
Definitions
deriveFromDhallString : FromDhall ty => String -> IOEither Error ty
  Visibility: export
deriveFromDhallFile : FromDhall a => Path -> IOEither Error a
  Visibility: export