Idris2Doc : Idrall.Derive

Idrall.Derive

(source)
Reexports
import public Data.String
import public Idrall.Derive.Common
Definitions
interface FromDhall : Type -> Type
  Parameters: a
Methods:
  
fromDhall : Expr Void -> Either Error a

Implementations:
  
FromDhall Nat
  
FromDhall Bool
  
FromDhall Integer
  
FromDhall Double
  
FromDhall String
  
FromDhall a => FromDhall (List a)
  
FromDhall a => FromDhall (Maybe a)
fromDhall : FromDhall a => Expr Void -> Either Error a
  Visibility: public export
lookupEither : Show k => FC -> k -> SortedMap k v -> Either Error v
  Visibility: public export
deriveFromDhall : IdrisType -> {default defaultOptions _ : Options} -> Name -> Elab ()
  Visibility: export