Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Agda.TypeChecking.Serialise.Instances.Internal
Contents
Documentation
blockedToMaybe :: Blocked_ -> Maybe NotBlocked Source #
Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Agda.TypeChecking.Serialise.Instances.Internal
Contents
blockedToMaybe :: Blocked_ -> Maybe NotBlocked Source #