GaloisInc/cryptol
1
1
Fork 0
mirror of https://github.com/GaloisInc/cryptol.git synced 2024-12-02 23:25:03 +03:00
Code Issues Projects Releases Wiki Activity

Add more destructor functions for TypeCheck.AST.Type

Browse Source
This commit is contained in:
Brian Huffman 2014-05-09 16:26:31 -07:00
parent 28043c395c
commit a6077dd59a
1 changed files with 30 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

30
src/Cryptol/TypeCheck/AST.hs
View File

@ -290,6 +290,26 @@ tIsVar ty = case tNoUser ty of
TVar x -> Just x TVar x -> Just x
_ -> Nothing _ -> Nothing
tIsFun :: Type -> Maybe (Type, Type)
tIsFun ty = case tNoUser ty of
TCon (TC TCFun) [a, b] -> Just (a, b)
_ -> Nothing
tIsSeq :: Type -> Maybe (Type, Type)
tIsSeq ty = case tNoUser ty of
TCon (TC TCSeq) [n, a] -> Just (n, a)
_ -> Nothing
tIsBit :: Type -> Bool
tIsBit ty = case tNoUser ty of
TCon (TC TCBit) [] -> True
_ -> False
tIsTuple :: Type -> Maybe [Type]
tIsTuple ty = case tNoUser ty of
TCon (TC (TCTuple _)) ts -> Just ts
_ -> Nothing
pIsFin :: Prop -> Maybe Type pIsFin :: Prop -> Maybe Type
pIsFin ty = case tNoUser ty of pIsFin ty = case tNoUser ty of
TCon (PC PFin) [t1] -> Just t1 TCon (PC PFin) [t1] -> Just t1
@ -305,6 +325,16 @@ pIsEq ty = case tNoUser ty of
TCon (PC PEqual) [t1,t2] -> Just (t1,t2) TCon (PC PEqual) [t1,t2] -> Just (t1,t2)
_ -> Nothing _ -> Nothing
pIsArith :: Prop -> Maybe Type
pIsArith ty = case tNoUser ty of
TCon (PC PArith) [t1] -> Just t1
_ -> Nothing
pIsCmp :: Prop -> Maybe Type
pIsCmp ty = case tNoUser ty of
TCon (PC PCmp) [t1] -> Just t1
_ -> Nothing
pIsNumeric :: Prop -> Bool pIsNumeric :: Prop -> Bool