Help for this page
A basic technique is to use newtype declarations to declare separate
types for separate intents.
append (AnnotatedString x) (AnnotatedString y)
= AnnotatedString (x ++ y)
If x and y have the same safety level,
then (x ++ y) has again that same safety level.
type family Join a b
type instance Join Safe Safe = Safe
type instance Join Safe Unsafe = Unsafe
type instance Join Unsafe Safe = Unsafe
type instance Join Unsafe Unsafe = Unsafe
:: AnnotatedString a
-> AnnotatedString b
-> AnnotatedString (Join a b)
(x ++ y) is at least as safe as the least safe of x and y.
Went to join the gridlock to see it
Held an eclipse party
Watched a live feed
I cn"t see tge kwubosd to amswr thus
I tried to see it, but 8000 miles of rock got in the way
Wanted to see it, but they wouldn't reschedule it
Read the book instead
Results (293 votes). Check out past polls.