fork download 
  1. {-# LANGUAGE TypeFamilies #-}
  2. {-# LANGUAGE DataKinds #-}
  3. {-# LANGUAGE PolyKinds #-}
  4.  
  5. data Nat = Z | S Nat
  6.  
  7. data family AlsoANat :: nat
  8.  
  9. type family IdNat (n :: Nat) :: Nat where
  10.     IdNat 'Z = 'Z
  11.     IdNat ('S n) = 'S n
  12.     IdNat AlsoANat = AlsoANat
  13.  
  14. main = print ()
Success #stdin #stdout 0s 4944KB
comments (?)
stdin 
Standard input is empty
stdout 
()
https://ideone.com/IG5MJT
language:
Haskell (ghc 8.4.4)
created:
4 years ago
visibility:
public

Share or Embed source code

Discover > Sphere Engine API

The brand new service which powers Ideone!

Discover > IDE Widget

Widget for compiling and running the source code in a web browser!