kmx.io/prism.js/examples/prism-idris.html

Branch - branch -master

• Show log

  Commit

• Hash : e9314415
  Author :
  Date : 2021-02-23T20:44:32
  

  Added support for Idris (#2755)

Download

• examples/prism-idris.html

• <h2>Comments</h2>
  <pre><code>-- Single line comment
  {- Multi-line
  comment -}</code></pre>
  
  <h2>Strings and characters</h2>
  <pre><code>'a'
  '\n'
  '\^A'
  '\^]'
  '\NUL'
  '\23'
  '\o75'
  '\xFE'</code></pre>
  
  <h2>Numbers</h2>
  <pre><code>42
  123.456
  123.456e-789
  1e+3
  0o74
  0XAF</code></pre>
  
  <h2>Larger example</h2>
  <pre><code>module Main
  
  import Data.Vect
  
  -- this is comment
  record Person where
    constructor MkPerson2
    age : Integer
    name : String
  
  ||| identity function
  id : a -> a
  id x = x
  
  {-
  Bool type can be defined in
  userland
  -}
  data Bool = True | False
  
  implementation Show Bool where
    show True = "True"
    show False = "False"
  
  not : Bool -> Bool
  not b = case b of
            True  => False
            False => True
  
  vect3 : Vect 3 Int
  vect3 = with Vect (1 :: 2 :: 3 :: Nil)
  </code></pre>
  

Download