idris

Safe HaskellNone

Idris.Primitives

Documentation

primitives :: [Prim]Source

data Prim Source

Constructors

Prim 

Fields

p_name :: Name
 
p_type :: Type
 
p_arity :: Int
 
p_def :: [Const] -> Maybe Const
 
p_lexp :: (Int, PrimFn)
 
p_total :: Totality