Safe Haskell	Safe-Inferred
Language	Haskell2010

Inferno.VersionControl.Types

Synopsis

newtype VCObjectHash = VCObjectHash {
- vcObjectHashDigest :: Digest SHA256
}
data VCObject
- = VCModule (Module (Map Ident VCObjectHash))
- | VCFunction (Expr (Pinned VCObjectHash) ()) TCScheme
- | VCTestFunction (Expr (Pinned VCObjectHash) ())
- | VCEnum Ident (Set Ident)
data VCObjectVisibility
- = VCObjectPublic
- | VCObjectPrivate
data VCMeta author group o = VCMeta {
- timestamp :: CTime
- author :: author
- group :: group
- name :: Text
- description :: Text
- pred :: VCObjectPred
- visibility :: VCObjectVisibility
- obj :: o
}
newtype VCCommitMessage = VCCommitMessage {
- unVCCommitMessage :: Text
}
data VCIncompatReason
- = TypeSignatureChange
- | EnumConstructorsChanged
data VCObjectPred
class VCHashUpdate obj where
- (&<) :: Context SHA256 -> obj -> Context SHA256
data Pinned a
- = Local
- | Builtin VCObjectHash
- | UnderVC a
vcObjectHashToByteString :: VCObjectHash -> ByteString
vcHash :: VCHashUpdate obj => obj -> VCObjectHash
showVCObjectType :: VCObject -> Text

Documentation

newtype VCObjectHash #

Constructors

VCObjectHash
Fields vcObjectHashDigest :: Digest SHA256

Instances

Instances details

Arbitrary VCObjectHash
Instance details Defined in Inferno.Types.VersionControl Methods arbitrary :: Gen VCObjectHash # shrink :: VCObjectHash -> [VCObjectHash] #
FromJSON VCObjectHash
Instance details Defined in Inferno.Types.VersionControl Methods parseJSON :: Value -> Parser VCObjectHash # parseJSONList :: Value -> Parser [VCObjectHash] #
FromJSONKey VCObjectHash
Instance details Defined in Inferno.Types.VersionControl Methods fromJSONKey :: FromJSONKeyFunction VCObjectHash # fromJSONKeyList :: FromJSONKeyFunction [VCObjectHash] #
ToJSON VCObjectHash
Instance details Defined in Inferno.Types.VersionControl Methods toJSON :: VCObjectHash -> Value # toEncoding :: VCObjectHash -> Encoding # toJSONList :: [VCObjectHash] -> Value # toEncodingList :: [VCObjectHash] -> Encoding #
ToJSONKey VCObjectHash
Instance details Defined in Inferno.Types.VersionControl Methods toJSONKey :: ToJSONKeyFunction VCObjectHash # toJSONKeyList :: ToJSONKeyFunction [VCObjectHash] #
Data VCObjectHash
Instance details Defined in Inferno.Types.VersionControl Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> VCObjectHash -> c VCObjectHash # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c VCObjectHash # toConstr :: VCObjectHash -> Constr # dataTypeOf :: VCObjectHash -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c VCObjectHash) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c VCObjectHash) # gmapT :: (forall b. Data b => b -> b) -> VCObjectHash -> VCObjectHash # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> VCObjectHash -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> VCObjectHash -> r # gmapQ :: (forall d. Data d => d -> u) -> VCObjectHash -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> VCObjectHash -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> VCObjectHash -> m VCObjectHash # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> VCObjectHash -> m VCObjectHash # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> VCObjectHash -> m VCObjectHash #
Generic VCObjectHash
Instance details Defined in Inferno.Types.VersionControl Associated Types type Rep VCObjectHash :: Type -> Type # Methods from :: VCObjectHash -> Rep VCObjectHash x # to :: Rep VCObjectHash x -> VCObjectHash #
Read VCObjectHash
Instance details Defined in Inferno.Types.VersionControl Methods readsPrec :: Int -> ReadS VCObjectHash # readList :: ReadS [VCObjectHash] # readPrec :: ReadPrec VCObjectHash # readListPrec :: ReadPrec [VCObjectHash] #
Show VCObjectHash
Instance details Defined in Inferno.Types.VersionControl Methods showsPrec :: Int -> VCObjectHash -> ShowS # show :: VCObjectHash -> String # showList :: [VCObjectHash] -> ShowS #
NFData VCObjectHash
Instance details Defined in Inferno.Types.VersionControl Methods rnf :: VCObjectHash -> () #
Eq VCObjectHash
Instance details Defined in Inferno.Types.VersionControl Methods (==) :: VCObjectHash -> VCObjectHash -> Bool # (/=) :: VCObjectHash -> VCObjectHash -> Bool #
Ord VCObjectHash
Instance details Defined in Inferno.Types.VersionControl Methods compare :: VCObjectHash -> VCObjectHash -> Ordering # (<) :: VCObjectHash -> VCObjectHash -> Bool # (<=) :: VCObjectHash -> VCObjectHash -> Bool # (>) :: VCObjectHash -> VCObjectHash -> Bool # (>=) :: VCObjectHash -> VCObjectHash -> Bool # max :: VCObjectHash -> VCObjectHash -> VCObjectHash # min :: VCObjectHash -> VCObjectHash -> VCObjectHash #
Hashable VCObjectHash
Instance details Defined in Inferno.Types.VersionControl Methods hashWithSalt :: Int -> VCObjectHash -> Int # hash :: VCObjectHash -> Int #
FromHttpApiData VCObjectHash
Instance details Defined in Inferno.Types.VersionControl Methods parseUrlPiece :: Text -> Either Text VCObjectHash # parseHeader :: ByteString -> Either Text VCObjectHash # parseQueryParam :: Text -> Either Text VCObjectHash #
ToHttpApiData VCObjectHash
Instance details Defined in Inferno.Types.VersionControl Methods toUrlPiece :: VCObjectHash -> Text # toEncodedUrlPiece :: VCObjectHash -> Builder # toHeader :: VCObjectHash -> ByteString # toQueryParam :: VCObjectHash -> Text #
VCHashUpdate VCObjectHash
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> VCObjectHash -> Context SHA256 #
ByteArrayAccess VCObjectHash
Instance details Defined in Inferno.Types.VersionControl Methods length :: VCObjectHash -> Int # withByteArray :: VCObjectHash -> (Ptr p -> IO a) -> IO a # copyByteArrayToPtr :: VCObjectHash -> Ptr p -> IO () #
ToADTArbitrary VCObjectHash
Instance details Defined in Inferno.Types.VersionControl Methods toADTArbitrarySingleton :: Proxy VCObjectHash -> Gen (ADTArbitrarySingleton VCObjectHash) # toADTArbitrary :: Proxy VCObjectHash -> Gen (ADTArbitrary VCObjectHash) #
Dependencies VCObject VCObjectHash Source #
Instance details Defined in Inferno.VersionControl.Types Methods getDependencies :: VCObject -> Set VCObjectHash #
type Rep VCObjectHash
Instance details Defined in Inferno.Types.VersionControl type Rep VCObjectHash = D1 ('MetaData "VCObjectHash" "Inferno.Types.VersionControl" "inferno-types-0.1.0.0-EKMmIlZ8z5b3mVEUhFR81D" 'True) (C1 ('MetaCons "VCObjectHash" 'PrefixI 'True) (S1 ('MetaSel ('Just "vcObjectHashDigest") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Digest SHA256))))

data VCObject Source #

Constructors

VCModule (Module (Map Ident VCObjectHash))
VCFunction (Expr (Pinned VCObjectHash) ()) TCScheme
VCTestFunction (Expr (Pinned VCObjectHash) ())
VCEnum Ident (Set Ident)

Instances

Instances details

FromJSON VCObject Source #
Instance details Defined in Inferno.VersionControl.Types Methods parseJSON :: Value -> Parser VCObject # parseJSONList :: Value -> Parser [VCObject] #
ToJSON VCObject Source #
Instance details Defined in Inferno.VersionControl.Types Methods toJSON :: VCObject -> Value # toEncoding :: VCObject -> Encoding # toJSONList :: [VCObject] -> Value # toEncodingList :: [VCObject] -> Encoding #
Generic VCObject Source #
Instance details Defined in Inferno.VersionControl.Types Associated Types type Rep VCObject :: Type -> Type # Methods from :: VCObject -> Rep VCObject x # to :: Rep VCObject x -> VCObject #
Eq VCObject Source #
Instance details Defined in Inferno.VersionControl.Types Methods (==) :: VCObject -> VCObject -> Bool # (/=) :: VCObject -> VCObject -> Bool #
VCHashUpdate VCObject Source #
Instance details Defined in Inferno.VersionControl.Types Methods (&<) :: Context SHA256 -> VCObject -> Context SHA256 #
Dependencies VCObject VCObjectHash Source #
Instance details Defined in Inferno.VersionControl.Types Methods getDependencies :: VCObject -> Set VCObjectHash #
type Rep VCObject Source #
Instance details Defined in Inferno.VersionControl.Types type Rep VCObject = D1 ('MetaData "VCObject" "Inferno.VersionControl.Types" "inferno-vc-0.1.0-KyAO1GZuiEv4oyOIVKzzQ6" 'False) ((C1 ('MetaCons "VCModule" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Module (Map Ident VCObjectHash)))) :+: C1 ('MetaCons "VCFunction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr (Pinned VCObjectHash) ())) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 TCScheme))) :+: (C1 ('MetaCons "VCTestFunction" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Expr (Pinned VCObjectHash) ()))) :+: C1 ('MetaCons "VCEnum" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Ident) :: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 (Set Ident)))))

data VCObjectVisibility Source #

Constructors

VCObjectPublic
VCObjectPrivate

Instances

Instances details

Arbitrary VCObjectVisibility Source #
Instance details Defined in Inferno.VersionControl.Types Methods arbitrary :: Gen VCObjectVisibility # shrink :: VCObjectVisibility -> [VCObjectVisibility] #
FromJSON VCObjectVisibility Source #
Instance details Defined in Inferno.VersionControl.Types Methods parseJSON :: Value -> Parser VCObjectVisibility # parseJSONList :: Value -> Parser [VCObjectVisibility] #
ToJSON VCObjectVisibility Source #
Instance details Defined in Inferno.VersionControl.Types Methods toJSON :: VCObjectVisibility -> Value # toEncoding :: VCObjectVisibility -> Encoding # toJSONList :: [VCObjectVisibility] -> Value # toEncodingList :: [VCObjectVisibility] -> Encoding #
Generic VCObjectVisibility Source #
Instance details Defined in Inferno.VersionControl.Types Associated Types type Rep VCObjectVisibility :: Type -> Type # Methods from :: VCObjectVisibility -> Rep VCObjectVisibility x # to :: Rep VCObjectVisibility x -> VCObjectVisibility #
Show VCObjectVisibility Source #
Instance details Defined in Inferno.VersionControl.Types Methods showsPrec :: Int -> VCObjectVisibility -> ShowS # show :: VCObjectVisibility -> String # showList :: [VCObjectVisibility] -> ShowS #
Eq VCObjectVisibility Source #
Instance details Defined in Inferno.VersionControl.Types Methods (==) :: VCObjectVisibility -> VCObjectVisibility -> Bool # (/=) :: VCObjectVisibility -> VCObjectVisibility -> Bool #
VCHashUpdate VCObjectVisibility Source #
Instance details Defined in Inferno.VersionControl.Types Methods (&<) :: Context SHA256 -> VCObjectVisibility -> Context SHA256 #
ToADTArbitrary VCObjectVisibility Source #
Instance details Defined in Inferno.VersionControl.Types Methods toADTArbitrarySingleton :: Proxy VCObjectVisibility -> Gen (ADTArbitrarySingleton VCObjectVisibility) # toADTArbitrary :: Proxy VCObjectVisibility -> Gen (ADTArbitrary VCObjectVisibility) #
type Rep VCObjectVisibility Source #
Instance details Defined in Inferno.VersionControl.Types type Rep VCObjectVisibility = D1 ('MetaData "VCObjectVisibility" "Inferno.VersionControl.Types" "inferno-vc-0.1.0-KyAO1GZuiEv4oyOIVKzzQ6" 'False) (C1 ('MetaCons "VCObjectPublic" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "VCObjectPrivate" 'PrefixI 'False) (U1 :: Type -> Type))

data VCMeta author group o Source #

Constructors

VCMeta
Fields timestamp :: CTime author :: author group :: group name :: Text description :: Text pred :: VCObjectPred visibility :: VCObjectVisibility obj :: o

Instances

Instances details

Functor (VCMeta author group) Source #
Instance details Defined in Inferno.VersionControl.Types Methods fmap :: (a -> b) -> VCMeta author group a -> VCMeta author group b # (<$) :: a -> VCMeta author group b -> VCMeta author group a #
(Arbitrary a, Arbitrary g, Arbitrary o) => Arbitrary (VCMeta a g o) Source #
Instance details Defined in Inferno.VersionControl.Types Methods arbitrary :: Gen (VCMeta a g o) # shrink :: VCMeta a g o -> [VCMeta a g o] #
(FromJSON author, FromJSON group, FromJSON o) => FromJSON (VCMeta author group o) Source #
Instance details Defined in Inferno.VersionControl.Types Methods parseJSON :: Value -> Parser (VCMeta author group o) # parseJSONList :: Value -> Parser [VCMeta author group o] #
(ToJSON o, ToJSON group, ToJSON author) => ToJSON (VCMeta author group o) Source #
Instance details Defined in Inferno.VersionControl.Types Methods toJSON :: VCMeta author group o -> Value # toEncoding :: VCMeta author group o -> Encoding # toJSONList :: [VCMeta author group o] -> Value # toEncodingList :: [VCMeta author group o] -> Encoding #
Generic (VCMeta author group o) Source #
Instance details Defined in Inferno.VersionControl.Types Associated Types type Rep (VCMeta author group o) :: Type -> Type # Methods from :: VCMeta author group o -> Rep (VCMeta author group o) x # to :: Rep (VCMeta author group o) x -> VCMeta author group o #
(Show author, Show group, Show o) => Show (VCMeta author group o) Source #
Instance details Defined in Inferno.VersionControl.Types Methods showsPrec :: Int -> VCMeta author group o -> ShowS # show :: VCMeta author group o -> String # showList :: [VCMeta author group o] -> ShowS #
(Eq author, Eq group, Eq o) => Eq (VCMeta author group o) Source #
Instance details Defined in Inferno.VersionControl.Types Methods (==) :: VCMeta author group o -> VCMeta author group o -> Bool # (/=) :: VCMeta author group o -> VCMeta author group o -> Bool #
(VCHashUpdate author, VCHashUpdate group, VCHashUpdate o) => VCHashUpdate (VCMeta author group o) Source #
Instance details Defined in Inferno.VersionControl.Types Methods (&<) :: Context SHA256 -> VCMeta author group o -> Context SHA256 #
(Arbitrary a, Arbitrary g, Arbitrary o) => ToADTArbitrary (VCMeta a g o) Source #
Instance details Defined in Inferno.VersionControl.Types Methods toADTArbitrarySingleton :: Proxy (VCMeta a g o) -> Gen (ADTArbitrarySingleton (VCMeta a g o)) # toADTArbitrary :: Proxy (VCMeta a g o) -> Gen (ADTArbitrary (VCMeta a g o)) #
type Rep (VCMeta author group o) Source #
Instance details Defined in Inferno.VersionControl.Types type Rep (VCMeta author group o) = D1 ('MetaData "VCMeta" "Inferno.VersionControl.Types" "inferno-vc-0.1.0-KyAO1GZuiEv4oyOIVKzzQ6" 'False) (C1 ('MetaCons "VCMeta" 'PrefixI 'True) (((S1 ('MetaSel ('Just "timestamp") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 CTime) :: S1 ('MetaSel ('Just "author") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 author)) :: (S1 ('MetaSel ('Just "group") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 group) :: S1 ('MetaSel ('Just "name") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text))) :: ((S1 ('MetaSel ('Just "description") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text) :: S1 ('MetaSel ('Just "pred") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VCObjectPred)) :: (S1 ('MetaSel ('Just "visibility") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VCObjectVisibility) :*: S1 ('MetaSel ('Just "obj") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 o)))))

newtype VCCommitMessage Source #

Constructors

VCCommitMessage
Fields unVCCommitMessage :: Text

Instances

Instances details

FromJSON VCCommitMessage Source #
Instance details Defined in Inferno.VersionControl.Types Methods parseJSON :: Value -> Parser VCCommitMessage # parseJSONList :: Value -> Parser [VCCommitMessage] #
ToJSON VCCommitMessage Source #
Instance details Defined in Inferno.VersionControl.Types Methods toJSON :: VCCommitMessage -> Value # toEncoding :: VCCommitMessage -> Encoding # toJSONList :: [VCCommitMessage] -> Value # toEncodingList :: [VCCommitMessage] -> Encoding #
Generic VCCommitMessage Source #
Instance details Defined in Inferno.VersionControl.Types Associated Types type Rep VCCommitMessage :: Type -> Type # Methods from :: VCCommitMessage -> Rep VCCommitMessage x # to :: Rep VCCommitMessage x -> VCCommitMessage #
Show VCCommitMessage Source #
Instance details Defined in Inferno.VersionControl.Types Methods showsPrec :: Int -> VCCommitMessage -> ShowS # show :: VCCommitMessage -> String # showList :: [VCCommitMessage] -> ShowS #
Eq VCCommitMessage Source #
Instance details Defined in Inferno.VersionControl.Types Methods (==) :: VCCommitMessage -> VCCommitMessage -> Bool # (/=) :: VCCommitMessage -> VCCommitMessage -> Bool #
VCHashUpdate VCCommitMessage Source #
Instance details Defined in Inferno.VersionControl.Types Methods (&<) :: Context SHA256 -> VCCommitMessage -> Context SHA256 #
type Rep VCCommitMessage Source #
Instance details Defined in Inferno.VersionControl.Types type Rep VCCommitMessage = D1 ('MetaData "VCCommitMessage" "Inferno.VersionControl.Types" "inferno-vc-0.1.0-KyAO1GZuiEv4oyOIVKzzQ6" 'True) (C1 ('MetaCons "VCCommitMessage" 'PrefixI 'True) (S1 ('MetaSel ('Just "unVCCommitMessage") 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 Text)))

data VCIncompatReason Source #

Constructors

TypeSignatureChange
EnumConstructorsChanged

Instances

Instances details

Arbitrary VCIncompatReason Source #
Instance details Defined in Inferno.VersionControl.Types Methods arbitrary :: Gen VCIncompatReason # shrink :: VCIncompatReason -> [VCIncompatReason] #
FromJSON VCIncompatReason Source #
Instance details Defined in Inferno.VersionControl.Types Methods parseJSON :: Value -> Parser VCIncompatReason # parseJSONList :: Value -> Parser [VCIncompatReason] #
ToJSON VCIncompatReason Source #
Instance details Defined in Inferno.VersionControl.Types Methods toJSON :: VCIncompatReason -> Value # toEncoding :: VCIncompatReason -> Encoding # toJSONList :: [VCIncompatReason] -> Value # toEncodingList :: [VCIncompatReason] -> Encoding #
Generic VCIncompatReason Source #
Instance details Defined in Inferno.VersionControl.Types Associated Types type Rep VCIncompatReason :: Type -> Type # Methods from :: VCIncompatReason -> Rep VCIncompatReason x # to :: Rep VCIncompatReason x -> VCIncompatReason #
Show VCIncompatReason Source #
Instance details Defined in Inferno.VersionControl.Types Methods showsPrec :: Int -> VCIncompatReason -> ShowS # show :: VCIncompatReason -> String # showList :: [VCIncompatReason] -> ShowS #
Eq VCIncompatReason Source #
Instance details Defined in Inferno.VersionControl.Types Methods (==) :: VCIncompatReason -> VCIncompatReason -> Bool # (/=) :: VCIncompatReason -> VCIncompatReason -> Bool #
VCHashUpdate VCIncompatReason Source #
Instance details Defined in Inferno.VersionControl.Types Methods (&<) :: Context SHA256 -> VCIncompatReason -> Context SHA256 #
ToADTArbitrary VCIncompatReason Source #
Instance details Defined in Inferno.VersionControl.Types Methods toADTArbitrarySingleton :: Proxy VCIncompatReason -> Gen (ADTArbitrarySingleton VCIncompatReason) # toADTArbitrary :: Proxy VCIncompatReason -> Gen (ADTArbitrary VCIncompatReason) #
type Rep VCIncompatReason Source #
Instance details Defined in Inferno.VersionControl.Types type Rep VCIncompatReason = D1 ('MetaData "VCIncompatReason" "Inferno.VersionControl.Types" "inferno-vc-0.1.0-KyAO1GZuiEv4oyOIVKzzQ6" 'False) (C1 ('MetaCons "TypeSignatureChange" 'PrefixI 'False) (U1 :: Type -> Type) :+: C1 ('MetaCons "EnumConstructorsChanged" 'PrefixI 'False) (U1 :: Type -> Type))

data VCObjectPred Source #

Constructors

Init	Original script (root of the histories).
CompatibleWithPred VCObjectHash
IncompatibleWithPred VCObjectHash [(Namespace, VCIncompatReason)]
MarkedBreakingWithPred VCObjectHash
CloneOf VCObjectHash	Similar to `Init` but this script is init'd by cloning the original script.
CloneOfRemoved VCObjectHash	CloneOfRemoved' is a "virtual" constructor to differentiate that the source of the script has been removed (but can still be found in removed directory). However, in the DB the field is still stored as `CloneOf`. When we build the histories of a script, it will be differentiated between these 3 constructors for cloned script.
CloneOfNotFound VCObjectHash	`CloneOfNotFound` is similar to `CloneOfRemoved` but it is for case where the original script is not found i.e. the removed folder might get cleared so we lost the original script information.

Instances

Instances details

Arbitrary VCObjectPred Source #
Instance details Defined in Inferno.VersionControl.Types Methods arbitrary :: Gen VCObjectPred # shrink :: VCObjectPred -> [VCObjectPred] #
FromJSON VCObjectPred Source #
Instance details Defined in Inferno.VersionControl.Types Methods parseJSON :: Value -> Parser VCObjectPred # parseJSONList :: Value -> Parser [VCObjectPred] #
ToJSON VCObjectPred Source #
Instance details Defined in Inferno.VersionControl.Types Methods toJSON :: VCObjectPred -> Value # toEncoding :: VCObjectPred -> Encoding # toJSONList :: [VCObjectPred] -> Value # toEncodingList :: [VCObjectPred] -> Encoding #
Generic VCObjectPred Source #
Instance details Defined in Inferno.VersionControl.Types Associated Types type Rep VCObjectPred :: Type -> Type # Methods from :: VCObjectPred -> Rep VCObjectPred x # to :: Rep VCObjectPred x -> VCObjectPred #
Show VCObjectPred Source #
Instance details Defined in Inferno.VersionControl.Types Methods showsPrec :: Int -> VCObjectPred -> ShowS # show :: VCObjectPred -> String # showList :: [VCObjectPred] -> ShowS #
Eq VCObjectPred Source #
Instance details Defined in Inferno.VersionControl.Types Methods (==) :: VCObjectPred -> VCObjectPred -> Bool # (/=) :: VCObjectPred -> VCObjectPred -> Bool #
VCHashUpdate VCObjectPred Source #
Instance details Defined in Inferno.VersionControl.Types Methods (&<) :: Context SHA256 -> VCObjectPred -> Context SHA256 #
ToADTArbitrary VCObjectPred Source #
Instance details Defined in Inferno.VersionControl.Types Methods toADTArbitrarySingleton :: Proxy VCObjectPred -> Gen (ADTArbitrarySingleton VCObjectPred) # toADTArbitrary :: Proxy VCObjectPred -> Gen (ADTArbitrary VCObjectPred) #
type Rep VCObjectPred Source #
Instance details Defined in Inferno.VersionControl.Types type Rep VCObjectPred = D1 ('MetaData "VCObjectPred" "Inferno.VersionControl.Types" "inferno-vc-0.1.0-KyAO1GZuiEv4oyOIVKzzQ6" 'False) ((C1 ('MetaCons "Init" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "CompatibleWithPred" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VCObjectHash)) :+: C1 ('MetaCons "IncompatibleWithPred" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VCObjectHash) :*: S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 [(Namespace, VCIncompatReason)])))) :+: ((C1 ('MetaCons "MarkedBreakingWithPred" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VCObjectHash)) :+: C1 ('MetaCons "CloneOf" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VCObjectHash))) :+: (C1 ('MetaCons "CloneOfRemoved" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VCObjectHash)) :+: C1 ('MetaCons "CloneOfNotFound" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VCObjectHash)))))

class VCHashUpdate obj where #

Typeclass of hashable objects

Minimal complete definition

Nothing

Methods

(&<) :: Context SHA256 -> obj -> Context SHA256 #

Instances

Instances details

VCHashUpdate CTime
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> CTime -> Context SHA256 #
VCHashUpdate Int32
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> Int32 -> Context SHA256 #
VCHashUpdate Int64
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> Int64 -> Context SHA256 #
VCHashUpdate Word32
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> Word32 -> Context SHA256 #
VCHashUpdate Word64
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> Word64 -> Context SHA256 #
VCHashUpdate ByteString
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> ByteString -> Context SHA256 #
VCHashUpdate BuiltinEnumHash
Instance details Defined in Inferno.Types.Module Methods (&<) :: Context SHA256 -> BuiltinEnumHash -> Context SHA256 #
VCHashUpdate BuiltinFunHash
Instance details Defined in Inferno.Types.Module Methods (&<) :: Context SHA256 -> BuiltinFunHash -> Context SHA256 #
VCHashUpdate BuiltinModuleHash
Instance details Defined in Inferno.Types.Module Methods (&<) :: Context SHA256 -> BuiltinModuleHash -> Context SHA256 #
VCHashUpdate BaseType
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> BaseType -> Context SHA256 #
VCHashUpdate ExtIdent
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> ExtIdent -> Context SHA256 #
VCHashUpdate Fixity
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> Fixity -> Context SHA256 #
VCHashUpdate Ident
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> Ident -> Context SHA256 #
VCHashUpdate ImplExpl
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> ImplExpl -> Context SHA256 #
VCHashUpdate InfernoType
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> InfernoType -> Context SHA256 #
VCHashUpdate InfixFixity
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> InfixFixity -> Context SHA256 #
VCHashUpdate Lit
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> Lit -> Context SHA256 #
VCHashUpdate ModuleName
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> ModuleName -> Context SHA256 #
VCHashUpdate TV
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> TV -> Context SHA256 #
VCHashUpdate ImplType
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> ImplType -> Context SHA256 #
VCHashUpdate Namespace
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> Namespace -> Context SHA256 #
VCHashUpdate TCScheme
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> TCScheme -> Context SHA256 #
VCHashUpdate TypeClass
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> TypeClass -> Context SHA256 #
VCHashUpdate VCObjectHash
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> VCObjectHash -> Context SHA256 #
VCHashUpdate VCCommitMessage Source #
Instance details Defined in Inferno.VersionControl.Types Methods (&<) :: Context SHA256 -> VCCommitMessage -> Context SHA256 #
VCHashUpdate VCIncompatReason Source #
Instance details Defined in Inferno.VersionControl.Types Methods (&<) :: Context SHA256 -> VCIncompatReason -> Context SHA256 #
VCHashUpdate VCObject Source #
Instance details Defined in Inferno.VersionControl.Types Methods (&<) :: Context SHA256 -> VCObject -> Context SHA256 #
VCHashUpdate VCObjectPred Source #
Instance details Defined in Inferno.VersionControl.Types Methods (&<) :: Context SHA256 -> VCObjectPred -> Context SHA256 #
VCHashUpdate VCObjectVisibility Source #
Instance details Defined in Inferno.VersionControl.Types Methods (&<) :: Context SHA256 -> VCObjectVisibility -> Context SHA256 #
VCHashUpdate SourcePos
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> SourcePos -> Context SHA256 #
VCHashUpdate Text
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> Text -> Context SHA256 #
VCHashUpdate ()
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> () -> Context SHA256 #
VCHashUpdate Double
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> Double -> Context SHA256 #
VCHashUpdate Int
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> Int -> Context SHA256 #
VCHashUpdate a => VCHashUpdate (IntMap a)
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> IntMap a -> Context SHA256 #
VCHashUpdate a => VCHashUpdate (Set a)
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> Set a -> Context SHA256 #
VCHashUpdate objs => VCHashUpdate (Module objs)
Instance details Defined in Inferno.Types.Module Methods (&<) :: Context SHA256 -> Module objs -> Context SHA256 #
VCHashUpdate a => VCHashUpdate (Comment a)
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> Comment a -> Context SHA256 #
VCHashUpdate a => VCHashUpdate (Import a)
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> Import a -> Context SHA256 #
VCHashUpdate a => VCHashUpdate (Scoped a)
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> Scoped a -> Context SHA256 #
VCHashUpdate e => VCHashUpdate (SomeIStr e)
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> SomeIStr e -> Context SHA256 #
VCHashUpdate a => VCHashUpdate (TList a)
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> TList a -> Context SHA256 #
VCHashUpdate ty => VCHashUpdate (TypeMetadata ty)
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> TypeMetadata ty -> Context SHA256 #
VCHashUpdate a => VCHashUpdate (Pinned a)
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> Pinned a -> Context SHA256 #
Show a => VCHashUpdate (VCHashUpdateViaShow a)
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> VCHashUpdateViaShow a -> Context SHA256 #
VCHashUpdate a => VCHashUpdate (NonEmpty a)
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> NonEmpty a -> Context SHA256 #
VCHashUpdate a => VCHashUpdate (Maybe a)
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> Maybe a -> Context SHA256 #
VCHashUpdate a => VCHashUpdate [a]
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> [a] -> Context SHA256 #
(VCHashUpdate k, VCHashUpdate a) => VCHashUpdate (Map k a)
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> Map k a -> Context SHA256 #
(VCHashUpdate hash, VCHashUpdate a) => VCHashUpdate (Expr hash a)
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> Expr hash a -> Context SHA256 #
VCHashUpdate e => VCHashUpdate (IStr f e)
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> IStr f e -> Context SHA256 #
(VCHashUpdate hash, VCHashUpdate a) => VCHashUpdate (Pat hash a)
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> Pat hash a -> Context SHA256 #
(VCHashUpdate a, VCHashUpdate b) => VCHashUpdate (a, b)
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> (a, b) -> Context SHA256 #
(VCHashUpdate author, VCHashUpdate group, VCHashUpdate o) => VCHashUpdate (VCMeta author group o) Source #
Instance details Defined in Inferno.VersionControl.Types Methods (&<) :: Context SHA256 -> VCMeta author group o -> Context SHA256 #
(VCHashUpdate a, VCHashUpdate b, VCHashUpdate c) => VCHashUpdate (a, b, c)
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> (a, b, c) -> Context SHA256 #
(VCHashUpdate a, VCHashUpdate b, VCHashUpdate c, VCHashUpdate d) => VCHashUpdate (a, b, c, d)
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> (a, b, c, d) -> Context SHA256 #
(VCHashUpdate a, VCHashUpdate b, VCHashUpdate c, VCHashUpdate d, VCHashUpdate e) => VCHashUpdate (a, b, c, d, e)
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> (a, b, c, d, e) -> Context SHA256 #

data Pinned a #

Constructors

Local
Builtin VCObjectHash
UnderVC a

Instances

Instances details

Functor Pinned
Instance details Defined in Inferno.Types.VersionControl Methods fmap :: (a -> b) -> Pinned a -> Pinned b # (<$) :: a -> Pinned b -> Pinned a #
FromJSON a => FromJSON (Pinned a)
Instance details Defined in Inferno.Types.VersionControl Methods parseJSON :: Value -> Parser (Pinned a) # parseJSONList :: Value -> Parser [Pinned a] #
ToJSON a => ToJSON (Pinned a)
Instance details Defined in Inferno.Types.VersionControl Methods toJSON :: Pinned a -> Value # toEncoding :: Pinned a -> Encoding # toJSONList :: [Pinned a] -> Value # toEncodingList :: [Pinned a] -> Encoding #
Data a => Data (Pinned a)
Instance details Defined in Inferno.Types.VersionControl Methods gfoldl :: (forall d b. Data d => c (d -> b) -> d -> c b) -> (forall g. g -> c g) -> Pinned a -> c (Pinned a) # gunfold :: (forall b r. Data b => c (b -> r) -> c r) -> (forall r. r -> c r) -> Constr -> c (Pinned a) # toConstr :: Pinned a -> Constr # dataTypeOf :: Pinned a -> DataType # dataCast1 :: Typeable t => (forall d. Data d => c (t d)) -> Maybe (c (Pinned a)) # dataCast2 :: Typeable t => (forall d e. (Data d, Data e) => c (t d e)) -> Maybe (c (Pinned a)) # gmapT :: (forall b. Data b => b -> b) -> Pinned a -> Pinned a # gmapQl :: (r -> r' -> r) -> r -> (forall d. Data d => d -> r') -> Pinned a -> r # gmapQr :: forall r r'. (r' -> r -> r) -> r -> (forall d. Data d => d -> r') -> Pinned a -> r # gmapQ :: (forall d. Data d => d -> u) -> Pinned a -> [u] # gmapQi :: Int -> (forall d. Data d => d -> u) -> Pinned a -> u # gmapM :: Monad m => (forall d. Data d => d -> m d) -> Pinned a -> m (Pinned a) # gmapMp :: MonadPlus m => (forall d. Data d => d -> m d) -> Pinned a -> m (Pinned a) # gmapMo :: MonadPlus m => (forall d. Data d => d -> m d) -> Pinned a -> m (Pinned a) #
Generic (Pinned a)
Instance details Defined in Inferno.Types.VersionControl Associated Types type Rep (Pinned a) :: Type -> Type # Methods from :: Pinned a -> Rep (Pinned a) x # to :: Rep (Pinned a) x -> Pinned a #
Show a => Show (Pinned a)
Instance details Defined in Inferno.Types.VersionControl Methods showsPrec :: Int -> Pinned a -> ShowS # show :: Pinned a -> String # showList :: [Pinned a] -> ShowS #
Eq a => Eq (Pinned a)
Instance details Defined in Inferno.Types.VersionControl Methods (==) :: Pinned a -> Pinned a -> Bool # (/=) :: Pinned a -> Pinned a -> Bool #
Ord a => Ord (Pinned a)
Instance details Defined in Inferno.Types.VersionControl Methods compare :: Pinned a -> Pinned a -> Ordering # (<) :: Pinned a -> Pinned a -> Bool # (<=) :: Pinned a -> Pinned a -> Bool # (>) :: Pinned a -> Pinned a -> Bool # (>=) :: Pinned a -> Pinned a -> Bool # max :: Pinned a -> Pinned a -> Pinned a # min :: Pinned a -> Pinned a -> Pinned a #
VCHashUpdate a => VCHashUpdate (Pinned a)
Instance details Defined in Inferno.Types.VersionControl Methods (&<) :: Context SHA256 -> Pinned a -> Context SHA256 #
type Rep (Pinned a)
Instance details Defined in Inferno.Types.VersionControl type Rep (Pinned a) = D1 ('MetaData "Pinned" "Inferno.Types.VersionControl" "inferno-types-0.1.0.0-EKMmIlZ8z5b3mVEUhFR81D" 'False) (C1 ('MetaCons "Local" 'PrefixI 'False) (U1 :: Type -> Type) :+: (C1 ('MetaCons "Builtin" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 VCObjectHash)) :+: C1 ('MetaCons "UnderVC" 'PrefixI 'False) (S1 ('MetaSel ('Nothing :: Maybe Symbol) 'NoSourceUnpackedness 'NoSourceStrictness 'DecidedLazy) (Rec0 a))))

vcObjectHashToByteString :: VCObjectHash -> ByteString #

vcHash :: VCHashUpdate obj => obj -> VCObjectHash #

showVCObjectType :: VCObject -> Text Source #