Skip to content

Instantly share code, notes, and snippets.

@Lysxia

Lysxia/gist:01c0ff0d6dca65ba1e456719fea2adba

Created December 22, 2018 16:21
Show Gist options

  • Select an option

    Learn more about clone URLs
  • Save Lysxia/01c0ff0d6dca65ba1e456719fea2adba to your computer and use it in GitHub Desktop.

Select an option

Learn more about clone URLs
Save Lysxia/01c0ff0d6dca65ba1e456719fea2adba to your computer and use it in GitHub Desktop.
Download ZIP
Raw
gistfile1.txt
data Status = Expired | Valid
data SStatus (_ :: Status) where
SExpired :: SStatus 'Expired
SValid :: SStatus 'Valid
data Node (s :: Status) =
{ ...
, anStatus :: SStatus s
...
}
data Node' where
Node' :: Node s -> Node'
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment