| definition: |
showCurryDataDecl :: (QName -> String) -> TypeDecl -> String showCurryDataDecl tt (Type tcons _ tvars constrs) = "data " ++ snd tcons ++ concatMap (\(i,_) -> [' ',chr (97+i)]) tvars ++ (if null constxt then "" else " = " ++ constxt) where constxt = intercalate " | " (map (showCurryConsDecl tt) constrs) showCurryDataDecl tt (TypeSyn tcons _ tvars texp) = "type " ++ snd tcons ++ concatMap (\(i,_) -> [' ',chr (97+i)]) tvars ++ " = " ++ showCurryType tt True texp showCurryDataDecl tt (TypeNew tcons _ tvars newconsdecl) = "newtype " ++ snd tcons ++ concatMap (\(i,_) -> [' ',chr (97+i)]) tvars ++ " = " ++ showCurryNewConsDecl tt newconsdecl |
| demand: |
argument 2 |
| deterministic: |
deterministic operation |
| failfree: |
(_, _) |
| indeterministic: |
referentially transparent operation |
| infix: |
no fixity defined |
| iotype: |
{(_,{Type}) |-> _ || (_,{TypeSyn}) |-> _ || (_,{TypeNew}) |-> _}
|
| name: |
showCurryDataDecl |
| precedence: |
no precedence defined |
| result-values: |
_ |
| signature: |
((String, String) -> String) -> FlatCurry.Types.TypeDecl -> String |
| solution-complete: |
operation might suspend on free variables |
| terminating: |
possibly non-terminating |
| totally-defined: |
possibly non-reducible on same data term |