Idris2Doc : Idrall.Derive.ToDhall

Idrall.Derive.ToDhall

(source)
Reexports
import public Data.SortedMap
Definitions
interface ToDhall : Type -> Type
  Parameters: ty
Constructor: 
MkToDhall

Methods:
  
toDhallType : Expr Void
  
toDhall : ty -> Expr Void

Implementations:
  
ToDhall Nat
  
ToDhall Bool
  
ToDhall Integer
  
ToDhall Double
  
ToDhall String
  
ToDhall ty => ToDhall (List ty)
  
ToDhall ty => ToDhall (Maybe ty)
  
ToDhall ExRec1
  
ToDhall ExADTTest
toDhallType : ToDhall ty => Expr Void
  Visibility: public export
toDhall : ToDhall ty => ty -> Expr Void
  Visibility: public export
deriveToDhall : IdrisType -> {default defaultOptions _ : Options} -> Name -> Elab ()
  Visibility: export