Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
Nothing
concretize :: GMap GWInfo -> a -> [(GSub GWInfo, a)] #
Instances
Gradual (SInfo a) # | |
Defined in Gradual.Concretize concretize :: GMap GWInfo -> SInfo a -> [(GSub GWInfo, SInfo a)] # |
Safe Haskell | None |
---|---|
Language | Haskell98 |
Nothing
concretize :: GMap GWInfo -> a -> [(GSub GWInfo, a)] #
Gradual (SInfo a) # | |
Defined in Gradual.Concretize concretize :: GMap GWInfo -> SInfo a -> [(GSub GWInfo, SInfo a)] # |