Home
last modified time | relevance | path

Searched refs:MakeCaseVariant (Results 1 – 4 of 4) sorted by relevance

/dports/math/hs-Agda/Agda-2.6.2/src/full/Agda/Interaction/
H A DResponse.hs-boot24 | Resp_MakeCase InteractionId MakeCaseVariant [String]
33 data MakeCaseVariant
H A DResponse.hs8 , MakeCaseVariant (..)
56 | Resp_MakeCase InteractionId MakeCaseVariant [String]
85 data MakeCaseVariant = Function | ExtendedLambda type
H A DJSONTop.hs126 instance EncodeTCM MakeCaseVariant where
127 instance ToJSON MakeCaseVariant where
H A DInteractionTop.hs813 makeCaseVariant :: CaseContext -> MakeCaseVariant