Meta-data

• Description: Coffee data type for uniqueness examples
• Authors: Daniel Marshall, Dominic Orchard
• License: BSD3
• Copyright: (c) Authors 2022
• Issue-tracking: https://github.com/dorchard/granule/issues
• Repository: https://github.com/dorchard/granule

Contents

data Coffee where
    Coffee 

data Awake where
    Awake 

drink : Coffee -> Awake

keep : Coffee -> Coffee

sip : *Coffee -> (Coffee, Awake)